--- layout: fc_discuss_archives title: Message 12 from Frama-C-discuss on October 2017 ---
Hello Claude, cvc4 (1.5) now works with âACSL by Exampleâ (with a few proof obligations not yet verified). The problem was, that we had to adapt our makefiles: -wp-prover=cvc4-15 (instead of -wp-prover=cvc4) Moreover, our scripts for parsing the results had to be adapted as well because the generated files now end in âcvc4_15â (note the underscore) instead of âcvc4â. Regards Jens -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20171028/50d1ec74/attachment.html>