--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on November 2011 ---
Hello, I have code that verified with the previous release of Frama-C/Jessie + Alt-Ergo + Simplify, but not with the current release, even with a prover timeout of 5 minutes. I use Alt-Ergo, Simplify and Vampire as back-end provers. Before I try adding more specification, are there other options I have? Has the new why release, which I installed together with why3, changed the way in which VC are generated? -- Best regards, Boris -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20111103/d8af6662/attachment.htm>