--- layout: fc_discuss_archives title: Message 48 from Frama-C-discuss on January 2011 ---
Hello, 2011/1/24 PUCCETTI Armand <armand.puccetti at cea.fr>: > It would be good if the program compiles. Yes. Please find attached a variation of Arnaud's program that compiles and runs under Jessie. I really don't understand why the assert in the for() loop of function f() (VC 6.) is not proved. I'm using Frama-C Boron with Alt-Ergo 0.91. Sincerely yours, david -------------- next part -------------- A non-text attachment was scrubbed... Name: dieumegard-example.c Type: text/x-csrc Size: 1459 bytes Desc: not available URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20110124/c0845804/attachment.c>