GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-09-11 14:06:13 +03:00
Code Issues Projects Releases Wiki Activity

Change to use Z3 instead of yices for the all-sat test.

Browse Source 
Despite the fact that Z3 is easily the slowest solver at this
task, it is the one that is reliably avaliable on the CI servers.
This commit is contained in:
Rob Dockins 2021-07-20 11:05:12 -07:00
parent 2eb155eea7
commit c248320ca5
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tests/regression/allsat.icry
View File

@ -2,8 +2,8 @@
:set satNum=all
:set showExamples=false
:set prover=sbv-yices
:set prover=sbv-z3
:sat f
:set prover=w4-yices
:set prover=w4-z3
:sat f