alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Have bench/gspn-ssp/tools/sum working directly from the *.log files, and improve its output.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2008-08-27 16:04:34 +02:00
parent 56d1dbc610
commit 360a5729be
6 changed files with 76 additions and 7111 deletions
Download patch file Download diff file Expand all files Collapse all files

9
bench/gspn-ssp/tools/bench-create
View file

@ -42,22 +42,15 @@ for i in *; do
check="${check## } $ltl2tgba"
resall=`echo results/$i.$check | tr -d ' ' `
all=
for fi in `seq 1 $F`; do
res=`echo $resall-$fi.log | tr -d ' ' `
echo "$res: $Ffile"
echo " \$(run_bench) $Ffile $fi '-$check' $i > \$@.tmp"
echo " mv \$@.tmp \$@"
all="$all $res"
allres="$allres $res"
done
echo
echo "$resall.all: $all"
echo " \$(collate) $all > \$@.tmp"
echo " mv \$@.tmp \$@"
echo
allres="$allres $resall.all"
done
done
cd ..