run only z3 tests for now

dapphub · Sep 9, 2020 · 378adbf · 378adbf
1 parent 9e70d55
commit 378adbf
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/nix/hevm-tests/default.nix b/nix/hevm-tests/default.nix
@@ -11,9 +11,9 @@ let
 in
 {
   yulEquivalence-z3 = runWithSolver ./yul-equivalence.nix "z3";
-  yulEquivalence-cvc4 = runWithSolver ./yul-equivalence.nix "cvc4";
+  #yulEquivalence-cvc4 = runWithSolver ./yul-equivalence.nix "cvc4";
 
   # z3 takes 3hrs to run these tests on a fast machine, and even then ~180 timeout
-  #smtChecker-z3 = runWithSolver ./smt-checker.nix "z3";
-  smtChecker-cvc4 = runWithSolver ./smt-checker.nix "cvc4";
+  smtChecker-z3 = runWithSolver ./smt-checker.nix "z3";
+  #smtChecker-cvc4 = runWithSolver ./smt-checker.nix "cvc4";
 }