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

Speedup randpsl.test.

Browse source 
* src/tgbatest/randpsl.test: Run without valgrind, it is too
slow otherwise.
This commit is contained in:
Alexandre Duret-Lutz 2011-02-27 15:21:41 +01:00
parent fb386209aa
commit 0caa631c0d
1 changed files with 6 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

10
src/tgbatest/randpsl.test
View file

@ -26,12 +26,14 @@ set -e
check_psl()
{
# Do not use "run", this is too slow.
# Make cross products with FM
run 0 ../ltl2tgba -f -R3 -b "$1" > out.tgba
run 0 ../ltl2tgba -f -R3 -Pout.tgba -E "!($1)"
../ltl2tgba -f -R3 -b "$1" > out.tgba
../ltl2tgba -f -R3 -Pout.tgba -E "!($1)"
# Also try with -x turned on.
run 0 ../ltl2tgba -f -x -R3 -b "$1" > out.tgba
run 0 ../ltl2tgba -f -x -R3 -Pout.tgba -E "!($1)"
../ltl2tgba -f -x -R3 -b "$1" > out.tgba
../ltl2tgba -f -x -R3 -Pout.tgba -E "!($1)"
}
../../ltltest/randltl -F 50 -f 30 -r 12 -u -s 0 -P a b c |