Revert changes to solvers used in regression tests

GaloisInc · Sep 17, 2021 · 0216c7e · 0216c7e
1 parent 39b562d
commit 0216c7e
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 3 deletions.
diff --git a/tests/regression/cplx.icry b/tests/regression/cplx.icry
@@ -1,6 +1,6 @@
 :set show-examples=off
 :set prover-stats=off
-:set prover=cvc4
+:set prover=w4-cvc4
 
 :l cplx.cry
 

diff --git a/tests/regression/negshift.icry b/tests/regression/negshift.icry
@@ -1,5 +1,4 @@
 :l negshift.cry
 :set tests=1000
-:set prover=yices
 :check
 :prove
diff --git a/tests/regression/poly.icry b/tests/regression/poly.icry
@@ -1,4 +1,4 @@
-:set prover=cvc4
+:set prover=w4-cvc4
 :set prover-stats=no
 :l poly.cry