Cleaned up main, removed some options

[mc1516pa.git] / modelchecker / test.sh

diff --git a/modelchecker/test.sh b/modelchecker/test.sh
index 2aa9aea..84d30e7 100755 (executable)
--- 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")'"