deactivate TestZ3#testDiv5 and TestZ3#testDiv6

KeYProject · Feb 28, 2025 · 86064c7 · 86064c7
1 parent 3c6072d
commit 86064c7
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -42,7 +42,6 @@ jobs:
       - name: cvc5 version
         run: cvc5 --version
 
-
       - name: Set up JDK 21
         uses: actions/setup-java@v4
         with:

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;
@@ -76,11 +77,13 @@ public void testDiv3() throws Exception {
     }
 
     @Test
+    @Disabled("weigl: due to performance issues")
     public void testDiv5() throws Exception {
         assertTrue(correctResult(testFile + "div5.key", false));
     }
 
     @Test
+    @Disabled("weigl: due to performance issues")
     public void testDiv6() throws Exception {
         assertTrue(correctResult(testFile + "div6.key", false));
     }