--- layout: fc_discuss_archives title: Message 57 from Frama-C-discuss on September 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Binary search now works with Alt-Ergo 0.92



> 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.