https://github.com/EasyCrypt/easycrypt
Revision de0e2402092bf115a0e548ed4bcc0d5e0d351cb6 authored by Pierre-Yves Strub on 20 April 2018, 05:14:36 UTC, committed by Pierre-Yves Strub on 21 April 2018, 20:20:39 UTC
This option expects an integer argument. It indicates the number
of smt provers that must solve a goal before being accepted.

A value of 0 set the quorum to its default value (1).

Note that if provers do not agree while waiting to reach a
quorum, the goal is rejected.

[closes #17371]
1 parent 6ffe960
History
Tip revision: de0e2402092bf115a0e548ed4bcc0d5e0d351cb6 authored by Pierre-Yves Strub on 20 April 2018, 05:14:36 UTC
New smt option: quorum
Tip revision: de0e240
File Mode Size
Makefile -rw-r--r-- 556 bytes
_tags -rw-r--r-- 329 bytes
myocamlbuild.ml -rw-r--r-- 1.7 KB
ppx_lint.ml -rw-r--r-- 2.2 KB

back to top