From a7423900fb9e153daa0770b8355498875cf3e8e2 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 29 May 2006 20:41:16 +0000 Subject: [PATCH] fix --- matita/tests/TPTP/try.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/matita/tests/TPTP/try.sh b/matita/tests/TPTP/try.sh index eb1c3f9d1..12fc7effe 100755 --- a/matita/tests/TPTP/try.sh +++ b/matita/tests/TPTP/try.sh @@ -12,11 +12,11 @@ for X in $TODO; do echo -n "$X ... " LOGNAME=logs/log.`basename $X` ../../matitac.opt $X > $LOGNAME 2>&1 + RATING=`grep "Rating" $X | sed 's/v.*//' | sed 's/(\*//'` if [ `grep "Found a proof" $LOGNAME | wc -l` -gt 0 ]; then TIME=`grep "TIME NEEDED" $LOGNAME` - RATING=`grep "Rating" $X | sed 's/v.*//' | sed 's/(\*//'` echo OK $TIME $RATING else - echo FAIL + echo FAIL $RATING fi done -- 2.39.2