From 7265c36aa33c1368302f52607484129023afe862 Mon Sep 17 00:00:00 2001 From: Andrea Asperti Date: Fri, 14 Jul 2006 15:45:18 +0000 Subject: [PATCH] Added the computation of max_weight. --- helm/software/matita/tests/TPTP/try.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/helm/software/matita/tests/TPTP/try.sh b/helm/software/matita/tests/TPTP/try.sh index 06d85bd6f..fdf8031b3 100755 --- a/helm/software/matita/tests/TPTP/try.sh +++ b/helm/software/matita/tests/TPTP/try.sh @@ -19,7 +19,8 @@ for X in $TODO; do 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` - echo OK $TIME $RATING $i + MAXWEIGHT=`grep "max weight:" $LOGNAME` + echo OK $TIME $RATING $MAXWEIGHT $i else echo FAIL $RATING $i fi -- 2.39.2