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

[Frama-c-discuss] Verification of axiomatization




Virgile Prevosto wrote:
> 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,

Well, let's say that was just a trick from me to see if anybody follows 
what I say. :-)

Now, I'm going to get a coffee before answering questions on that list.

- Claude