--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on November 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Code doesn't verify anymore with new Frama-C/Jessie release



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>