debugging for stp failure

vcanumalla · Dec 7, 2023 · 53fd00a · 53fd00a
1 parent eab0001
commit 53fd00a
Showing 1 changed file with 15 additions and 14 deletions.
diff --git a/test/all-rosette-tests.rkt b/test/all-rosette-tests.rkt
@@ -77,21 +77,21 @@
 
 
 (define (slow-tests)
-  (when (cvc4-available?)
-    (printf "===== Running CVC4 tests =====\n")
-    (run-tests-with-solver cvc4))
+  ; (when (cvc4-available?)
+  ;   (printf "===== Running CVC4 tests =====\n")
+  ;   (run-tests-with-solver cvc4))
 
-  (when (boolector-available?)
-    (printf "===== Running Boolector tests =====\n")
-    (run-tests-with-solver boolector))
+  ; (when (boolector-available?)
+  ;   (printf "===== Running Boolector tests =====\n")
+  ;   (run-tests-with-solver boolector))
 
-  (when (cvc5-available?)
-    (printf "===== Running cvc5 tests =====\n")
-    (run-tests-with-solver cvc5))
+  ; (when (cvc5-available?)
+  ;   (printf "===== Running cvc5 tests =====\n")
+  ;   (run-tests-with-solver cvc5))
 
-  (when (bitwuzla-available?)
-    (printf "===== Running bitwuzla tests =====\n")
-    (run-tests-with-solver bitwuzla))
+  ; (when (bitwuzla-available?)
+  ;   (printf "===== Running bitwuzla tests =====\n")
+  ;   (run-tests-with-solver bitwuzla))
   (when (stp-available?)
     (printf "===== Running stp tests =====\n")
     (run-tests-with-solver stp))
@@ -101,5 +101,6 @@
 )
 
 (module+ test
-  (fast-tests)
-  (slow-tests))
+  ; (fast-tests)
+  (slow-tests)
+  )