small report add and test make add

[mc1516pa.git] / modelchecker / test.sh

diff --git a/modelchecker/test.sh b/modelchecker/test.sh
index e34ffae..368814a 100755 (executable)
--- a/modelchecker/test.sh
+++ b/modelchecker/test.sh
@@ -1,5 +1,7 @@
 #!/bin/bash
+set -e
 
+make
 TOTAL=0
 PASSED=0
 for testscreen in tests/*; do