mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-17 17:09:35 +03:00
8 lines
63 B
Plaintext
8 lines
63 B
Plaintext
:l issue662.cry
|
|
|
|
:set tests=1000
|
|
:check
|
|
|
|
:set prover=z3
|
|
:prove
|