--- layout: fc_discuss_archives title: Message 35 from Frama-C-discuss on August 2012 ---
At Thu, 23 Aug 2012 10:14:33 +0200, Claude Marche wrote: > > > > Le 22/08/2012 23:12, Marko Sch?tz Schmuck a ?crit : > > (exists i_1:int32, > > 0<= integer_of_int32(i_1) and > > integer_of_int32(i_1)<= integer_of_int32(endi) -> > > I suspect that you made a stupid mistake here, you probably meant > > exists ..., ... and > > with an "and" instead instead of "->" Yesss. Thanks! Best regards, Marko -------------- next part -------------- A non-text attachment was scrubbed... Name: not available Type: application/pgp-signature Size: 198 bytes Desc: not available URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120823/fe9175d4/attachment.pgp>