--- layout: fc_discuss_archives title: Message 25 from Frama-C-discuss on April 2009 ---
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, -------------- section suivante -------------- Une pi?ce jointe non texte a ?t? nettoy?e... Nom: snapshot1.png Type: image/png Taille: 60688 octets Desc: non disponible Url: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090406/58e02752/attachment-0001.png