--- layout: fc_discuss_archives title: Message 138 from Frama-C-discuss on September 2013 ---
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