--- layout: fc_discuss_archives title: Message 120 from Frama-C-discuss on October 2008 ---
Hi, configure: jessie : partial (see warning about > /usr/local/lib/apron.a,/usr/lib/apron.a) > > Is this something to worry about? > nothing to worry about. This just says that you might activate more options with APRON library installed, to infer annotations. > I tested Jessie (gWhy) on some of our ACSL examples and it appears > that there are more missed proof obligation. This is not expected. Please let us know which examples show these problems. Cheers, -- Yannick -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20081029/f3aff395/attachment.html