[Termtools] [Termcomp] Fwd: Re: [color] Termination Competition 2009: Call for Participation

[Frederic Blanqui]

Frederic Blanqui a écrit :

> Then, do we have to provide a unique command (like checkme)? And, how to 
> make sure that every thing runs well: is there going to be any test 
> before starting the competition?

Another question: if we provide a "checkme" command, what can be the 
arguments? Is it possible to take as argument both the problem file and 
the proof file as follows:

checkme xtc_file cpf_file?