Took out non-deterministic (and hence failing) test from userOps

nl-utwente-groove · Jun 25, 2024 · 145ac12 · 145ac12
1 parent e4f3831
commit 145ac12
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/junit/rules/userOps.gps/random.gpr b/junit/rules/userOps.gps/random.gpr
@@ -1,6 +1,12 @@
 <?xml version="1.0" encoding="UTF-8" standalone="yes"?>
 <gxl xmlns="http://www.gupro.de/GXL/gxl-1.0.dtd">
     <graph role="rule" edgeids="false" edgemode="directed" id="random">
+        <attr name="remark">
+            <string>Rule disabled because it makes test fail due to non-determinism</string>
+        </attr>
+        <attr name="enabled">
+            <string>false</string>
+        </attr>
         <attr name="$version">
             <string>curly</string>
         </attr>