--- layout: fc_discuss_archives title: Message 138 from Frama-C-discuss on September 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Provers versions



Hi,

We installed the Frama-c and Why in a Mac OS X Mountain Lion 10.8.2 (
http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2013-April/003561.html).
We intend to use the Jessie plugin.

After installing Frama-c and Why, we installed the provers.

The command "why3config --detect-provers" detected all the provers but it
showed the following message:
Found prover CVC3 version 2.4.1, Ok.
Warning: prover Z3 version 4.3.2 is not known to be supported, use it at
your own risk!
Warning: prover Gappa version 1.0.0 is not known to be supported, use it at
your own risk!
Warning: prover Coq version 8.4pl2 is not known to be supported, use it at
your own risk!
Warning: prover Alt-Ergo version 0.95.2 is not known to be supported, use
it at your own risk!
Warning: prover Yices version 2.1.0. is not known to be supported, use it
at your own risk!
1 provers detected and 5 provers detected with unsupported version
Save config to /var/root/.why3.conf

Are the warnings a problem?
Should we try other provers versions?

Nanci Naomi