--- layout: fc_discuss_archives title: Message 55 from Frama-C-discuss on September 2010 ---
Hello, 2010/9/28 Boris Hollas <hollas at informatik.htw-dresden.de>: > Alt-Ergo 0.92 is available on http://alt-ergo.lri.fr/. Now, the binary > search example with the faulty mid value computation > ? ?mid = (high + low) / 2; > doesn't pass verification anymore. this is good news [...] Could you give more context? Why is it good news that an example doesn't pass verification anymore? I'm puzzled. :-) Sincerely yours, david