mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-17 17:09:35 +03:00
4a68856a71
This bug was fixed in What4 via https://github.com/GaloisInc/what4/pull/127 which was included in What4 version 1.2. Fixes #1210
7 lines
75 B
Plaintext
7 lines
75 B
Plaintext
:l issue1210.cry
|
|
:check
|
|
:set prover=sbv-z3
|
|
:prove
|
|
:set prover=w4-z3
|
|
:prove
|