Comment out test takng too long

ftsrg · Nov 11, 2024 · dd8bdea · dd8bdea
1 parent 161935b
commit dd8bdea
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/...rojects/xsts/xsts-analysis/src/test/java/hu/bme/mit/theta/xsts/analysis/XstsHornTest.java b/...rojects/xsts/xsts-analysis/src/test/java/hu/bme/mit/theta/xsts/analysis/XstsHornTest.java
@@ -390,12 +390,12 @@ public static Collection<Object[]> data() {
                         true,
                         "z3:4.13.0"
                     },
-                    {
-                        "src/test/resources/model/count_up_down.xsts",
-                        "src/test/resources/property/count_up_down2.prop",
-                        true,
-                        "golem:0.5.0"
-                    },
+                    //                    {
+                    //                        "src/test/resources/model/count_up_down.xsts",
+                    //                        "src/test/resources/property/count_up_down2.prop",
+                    //                        true,
+                    //                        "golem:0.5.0"
+                    //                    },
                     {
                         "src/test/resources/model/bhmr2007.xsts",
                         "src/test/resources/property/bhmr2007.prop",