--- layout: fc_discuss_archives title: Message 24 from Frama-C-discuss on April 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] operator %



On Apr 6, 2009, at 11:19 AM, Benjamin Monate wrote:
>
> frama-c -val gives :
>
> t.c:5: Warning: division by zero: assert (n <> 0);
>
> What else do you expect ?


It is a good idea when reporting a bug
* to do so in the bug tracking system,
* to mention the desired results,
* to mention the obtained results.

The misunderstanding here is caused by the report
of a bug which is known and fixed in the development
version.

Pascal