--- layout: fc_discuss_archives title: Message 24 from Frama-C-discuss on April 2009 ---
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