[Termtools] certified - strange proofs

Frederic Blanqui blanqui at loria.fr
Wed Jun 6 11:23:15 CEST 2007


On Wed, 6 Jun 2007, Frederic Blanqui wrote:

> what are your runme and checkme scripts?

i checked on the web. i think that the problem is perhaps that the exit status 
of ttt2-cert with MAYBE is 0. wrt the runme script, it should be something 
different from 0.


More information about the Termtools mailing list