This is related to strategies as explained in page 63 of the manual:
http://why3.lri.fr/download/manual-0.88.0.pdf
Regards,
- Mohamed.
On 13/10/2017 19:22, Gerlach, Jens wrote:
With a clean install of opam I had no problems to install why3-0.88.0.
By the way, when calling ‘why3 config –detect’ I receive now the message
Prover Eprover (2.0) will be used in Auto level >= 2
Prover Alt-Ergo (1.30) will be used in Auto level >= 1
Prover CVC4 (1.5) will be used in Auto level >= 1
What does “Auto level” mean?
Regards
Jens
_______________________________________________
Why3-club mailing list
[email protected]
https://lists.gforge.inria.fr/mailman/listinfo/why3-club
_______________________________________________
Why3-club mailing list
[email protected]
https://lists.gforge.inria.fr/mailman/listinfo/why3-club
