--- layout: fc_discuss_archives title: Message 26 from Frama-C-discuss on April 2009 ---
thanks to pascal we know that this is a bug that existed in the lithium version (the one I use), and is now fixed in the current development version On Mon, 2009-04-06 at 12:23 +0200, Claude March? wrote: > And regarding jessie, there is also a unproved VC. So what is the problem? > > - Claude > > Benjamin Monate wrote: > > Hi, > > > > frama-c -val gives : > > > > t.c:5: Warning: division by zero: assert (n <> 0); > > > > What else do you expect ? > > > > Cheers, > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss