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

* src/tgbatest/kv.test: Don't run valgrind on dot!

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2009-10-23 14:32:39 +02:00
parent 913637a7ae
commit 802754c60a
2 changed files with 5 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tgbatest/kv.test
View file

@ -26,7 +26,7 @@ set -e
check ()
{
run 0 ../ltl2tgba -f -KV "$1" > out.dot
run 0 $DOT out.dot > /dev/null
$DOT out.dot > /dev/null
rm -f out.dot
}