--- layout: fc_discuss_archives title: Message 34 from Frama-C-discuss on April 2009 ---
Hello, Le mar 07 avr 2009 09:07:10 CEST, Claude March? <Claude.Marche at inria.fr> a ?crit : > Another, probably quicker, possibility is first to try to prove > > //@ lemma l : 0=0; > Shouldn't that be 0!=0 (or 0 == 1)? 0 == 0 is quite easy to prove. Best regards, -- Virgile Prevosto Ing?nieur-Chercheur, CEA, LIST Laboratoire de S?ret? des Logiciels +33/0 1 69 08 71 83