--- layout: fc_discuss_archives title: Message 66 from Frama-C-discuss on May 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Small function on buffer doesn't verify



Hello Claude,

Claude Marche a ?crit :
> And for me, with Boron+Why 2.26, it is 100% proved by any prover below
> 
> Alt-Ergo 0.91

It is not 100% proven by Alt-Ergo 0.9: Alt-Ergo 0.91 is better than 
Alt-Ergo 0.9 on this example :o). However it seems that Alt-Ergo 0.91 is 
not yet available on http://ergo.lri.fr.

--
Julien