---
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
- Subject: [Frama-c-discuss] Binary search now works with Alt-Ergo 0.92
- From: dmentre at linux-france.org (David MENTRE)
- Date: Thu, 30 Sep 2010 11:04:20 +0200
- In-reply-to: <20100930094541.1f4a9650@is010235>
- References: <1285673055.1497.159.camel@iti27> <AANLkTinQpoR2tTrzEL=18tGThrKE+MfRLE6KB60XfSjL@mail.gmail.com> <20100930094541.1f4a9650@is010235>
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.