[Termtools] certifying option ready to run

[Claude Marché]

I've noticed that. 

I spent a lot of time for installing the final versions of rainbow and
TPA that Adam sent me. The final TPA sent was buggy (syr1 shown
terminating). Adam aggreed to use the preliminary version of TPA
instead, but still wanted me to keep the final rainbow.

The last thing I can do is to revert back to the preliminary version
of rainbow.

Adam ?

>>>>> "Frederic" == Frederic Blanqui <blanqui at loria.fr> writes:

    Frederic> On Tue, 5 Jun 2007, Claude Marché wrote:
    >> The certifying option is now ready to run. To authors of such tools:
    >> please check that the qualification round results are Ok for you:

    Frederic> i'm surprised that you get an error for AG01/#3.10.trs with tpa (it's ok for 
    Frederic> ttt2).

-- 
Claude Marché                          | tel: +33 1 72 92 59 69           
INRIA Futurs - ProVal                  | mobile: +33 6 33 14 57 93 
Parc Orsay Université - ZAC des Vignes | fax: +33 1 74 85 42 29   
3, rue Jacques Monod - Bâtiment N      | http://www.lri.fr/~marche/
F-91893 ORSAY Cedex                    |