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

[Frama-c-discuss] operator %



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