GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-11 18:26:07 +03:00
Code Issues Projects Releases Wiki Activity

Use cvc4 instead of w4-cvc4 in some tests

Browse Source 
This is an experiment to see whether it works better on Windows.
This commit is contained in:
Aaron Tomb 2021-09-15 15:53:20 -07:00
parent 67bdb1c538
commit 39b562d1af
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tests/regression/cplx.icry
View File

@ -1,6 +1,6 @@
:set show-examples=off
:set prover-stats=off
:set prover=w4-cvc4
:set prover=cvc4
:l cplx.cry

2
tests/regression/poly.icry
View File

@ -1,4 +1,4 @@
:set prover=w4-cvc4
:set prover=cvc4
:set prover-stats=no
:l poly.cry