X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=modelchecker%2Ftest.sh;h=84d30e71152bbd4fbec11ba4ed55bed8b0444e48;hb=ac8d9afc8de1218083638d0871e98ff15daa9aab;hp=2aa9aea07adeea24529a74be83058d031b784180;hpb=2035b2b0e13bac36f06102c5ce64db5e73b156da;p=mc1516pa.git

diff --git a/modelchecker/test.sh b/modelchecker/test.sh
index 2aa9aea..84d30e7 100755
--- a/modelchecker/test.sh
+++ b/modelchecker/test.sh
@@ -10,6 +10,7 @@ PASSED=0
 for testscreen in tests/[^g]*; do
 	NUM="$(basename "$(echo $testscreen | cut -d'.' -f1)")"
 	OUT="$(./main "$testscreen" 2>&1| grep -Po "(?<=Satcount: )\d+(?=\.)")"
+	./main "$testscreen" 2>&1
 	if [ "$NUM" -ne "$OUT" ]; then
 		echo "$testscreen failed, expected: $NUM, got: $OUT."
 		echo "'$(cat "$testscreen")'"