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

Speed up wdba.test, it was too slow for our buildfarm.

Browse source 
* src/tgbatest/wdba.test: Speed up execution by running only a
couple of formula with valgrind.  Half of those with`-l -R3b' and
the other half with `-f -R3'.
This commit is contained in:
Alexandre Duret-Lutz 2010-11-26 14:21:53 +01:00
parent 0392058e6e
commit d72a2f0a31
2 changed files with 23 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

8
ChangeLog
View file

@ -1,3 +1,11 @@
2010-11-26 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Speed up wdba.test, it was too slow for our buildfarm.
* src/tgbatest/wdba.test: Speed up execution by running only a
couple of formula with valgrind. Half of those with`-l -R3b' and
the other half with `-f -R3'.
2010-11-26 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* src/tgbatest/ltl2tgba.cc (syntax): Regroup -M, -s, and -S option

22
src/tgbatest/wdba.test
View file

@ -86,11 +86,15 @@ G(q->(p->(!r U (s&!r&!z&X((!r&!z) U t))))U(r|G(p->(s&!z&X(!z U t)))))
EOF
success=:
i=0
while read f; do
# Run ltl2tgba through valgrind with some combination of options to
# detect any crash
run 0 ../ltl2tgba -f -R3 -DS -Rm "!($f)" >/dev/null
run 0 ../ltl2tgba -l -R3b -DS -Rm "!($f)" >/dev/null
# detect any crash. Do that only for the first few formula, because
# it takes a long time.
if test $i -lt 5; then
run 0 ../ltl2tgba -f -R3 -DS -Rm "!($f)" >/dev/null
i=`expr $i + 1`
fi
# If the labels of the state have only digits, assume the minimization
# worked.
@ -106,11 +110,15 @@ done < obligations.txt
echo ====
i=0
while read f; do
# Run ltl2tgba through valgrind with some combination of options to
# detect any crash
run 0 ../ltl2tgba -f -R3 -DS -Rm "!($f)" >/dev/null
run 0 ../ltl2tgba -l -R3b -DS -Rm "!($f)" >/dev/null
# Run ltl2tgba through valgrind with ANOTHER combination of options
# to detect any crash. Do that only for the first few formula, because
# it takes a long time.
if test $i -lt 5; then
run 0 ../ltl2tgba -l -R3b -DS -Rm "!($f)" >/dev/null
i=`expr $i + 1`
fi
# If the labels of the state have only digits, assume the minimization
# worked.