deactivate TestZ3#testDiv5 and TestZ3#testDiv6

KeYProject · Feb 28, 2025 · 6da0f62 · 6da0f62
1 parent 3c6072d
commit 6da0f62
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/key.core/src/test/java/de/uka/ilkd/key/smt/test/TestZ3.java b/key.core/src/test/java/de/uka/ilkd/key/smt/test/TestZ3.java
@@ -7,6 +7,7 @@
 import de.uka.ilkd.key.smt.solvertypes.SolverTypeImplementation;
 import de.uka.ilkd.key.smt.solvertypes.SolverTypes;
 
+import org.junit.jupiter.api.Disabled;
 import org.junit.jupiter.api.Test;
 import org.slf4j.Logger;
 import org.slf4j.LoggerFactory;
@@ -75,12 +76,12 @@ public void testDiv3() throws Exception {
         assertTrue(correctResult(testFile + "div3.key", true));
     }
 
-    @Test
+    @Test @Disabled("weigl: due to performance issues")
     public void testDiv5() throws Exception {
         assertTrue(correctResult(testFile + "div5.key", false));
     }
 
-    @Test
+    @Test @Disabled("weigl: due to performance issues")
     public void testDiv6() throws Exception {
         assertTrue(correctResult(testFile + "div6.key", false));
     }