--- layout: fc_discuss_archives title: Message 58 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



Hello Virgile and Pascal,

2010/9/30 Virgile Prevosto <virgile.prevosto at cea.fr>:
> Because this example is not correct: high + low might overflow (see e.g.
> http://googleresearch.blogspot.com/2006/06/extra-extra-read-all-about-it-nearly.html).

Thank you for the answers. BTW, this is a good example of a So Simple
Program That It Cannot Contain Bug(tm).

Thanks,
d.