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

* src/ltltest/reduc.test: Use ./defs and clean result.data.

Browse source 
* src/ltltest/Makefile.am (CLEANFILES): Clean result.data.
This commit is contained in:
Alexandre Duret-Lutz 2004-05-14 08:41:32 +00:00
parent 4cd10c3dfc
commit 0c44ca35b3
3 changed files with 14 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

5
ChangeLog
View file

@ -1,3 +1,8 @@
2004-05-14 Alexandre Duret-Lutz <adl@src.lip6.fr>
* src/ltltest/reduc.test: Use ./defs and clean result.data.
* src/ltltest/Makefile.am (CLEANFILES): Clean result.data.
2004-05-13 Thomas Martinez <martinez@src.lip6.fr>
* src/ltlvisit/Makefile.am: Copyright 2004.

2
src/ltltest/Makefile.am
View file

@ -72,4 +72,4 @@ TESTS = \
inf.test \
reduc.test
CLEANFILES = stdout expect parse.dot
CLEANFILES = stdout expect parse.dot result.data

23
src/ltltest/reduc.test
View file

@ -22,38 +22,31 @@
# Check for the reduc visitor.
#. ./defs || exit 1
. ./defs || exit 1
set -e
#FICH=${1-$srcdir/formules.ltl}
FICH=${1-formules.ltl}
FICH=${1-$srcdir/formules.ltl}
#####################################
for opt in 0 1 2 3
do
for opt in 0 1 2 3; do
rm -f result.data
cat $FICH |
while read f; do
if [ -n "$f" ] && [ "$f" != "####" ]; then
./reduc $opt "$f" >> result.data
fi
done
test $? == 0 || exit 1
#####################################
perl -ne 'BEGIN { $sum1 = 0; $sum2 = 0; }
/^(\d+)\s+(\d+)/;
$sum1 += $1;
$sum2 += $2;
END { print 100 - ($sum2 * 100 / $sum1); print "\n"; }
' < result.data
done
#####################################
rm -f result.data