--- layout: fc_discuss_archives title: Message 34 from Frama-C-discuss on October 2008 ---
I'm forwarding this email from the Why mailing list. -- Jean-Christophe -------------- section suivante -------------- Une pi?ce jointe a ?t? nettoy?e... De: =?iso-8859-1?Q?B=E1rbara_Vieira?= <barbaraisabelvieira@gmail.com> Objet: [Why-discuss] Problem with program states in Frama-C Date: Fri, 10 Oct 2008 11:14:35 +0100 Taille: 21204 Url: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20081010/7db3639a/Why-discussProblemwithprogramstatesinFrama-C.mht