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

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