Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.


[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


  • Subject: [Frama-c-discuss] Code doesn't verify anymore with new Frama-C/Jessie release
  • From: hollas at informatik.htw-dresden.de (Boris Hollas)
  • Date: Thu, 03 Nov 2011 09:42:09 +0100

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>