--- layout: fc_discuss_archives title: Message 57 from Frama-C-discuss on September 2010 ---
> Could you give more context? Why is it good news that an example > doesn't pass verification anymore? I'm puzzled. :-) When the example has a definite bug, it is good news that it no longer passes verification. Alt-ergo 0.91 had a bug that was apparently linked to the presence of divisions in the target program. See bugs: http://bts.frama-c.com/view.php?id=539 as well as 533, 514, 571.