repositories
/
mc1516pa.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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+(?=\.)")"
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")'"
if [ "$NUM" -ne "$OUT" ]; then
echo "$testscreen failed, expected: $NUM, got: $OUT."
echo "'$(cat "$testscreen")'"