--- layout: fc_discuss_archives title: Message 54 from Frama-C-discuss on January 2011 ---
Quick guess: avoid including the stdio.h in your code The stdio.h distributed with Frama-C is not fully supported by Jessie. Hope this helps, - Claude On 01/24/2011 10:39 PM, David MENTRE wrote: > Hello, > > I have a program[0] that I was able to check with Jessie plugin in > March 2009 (probably using Lithium version) [1]. This program now > triggers an Internal error in Jessie plugin for both Frama-C Boron and > Carbon beta 2 [2]. Does anybody know a way to work around this bug? > I'm making a presentation on proving programs with Frama-C and I would > have liked to use this program as an example. > > Sincerely yours, > david > > [0] http://bts.frama-c.com/file_download.php?file_id=153&type=bug > [1] http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2009-March/000473.html > [2] http://bts.frama-c.com/view.php?id=667 > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss > -- Claude March? | tel: +33 1 72 92 59 69 INRIA Saclay - ?le-de-France | mobile: +33 6 33 14 57 93 Parc Orsay Universit? | fax: +33 1 74 85 42 29 4, rue Jacques Monod - B?timent N | http://www.lri.fr/~marche/ F-91893 ORSAY Cedex |