TEST: more informative failure messages

tulip-control · Dec 30, 2023 · c7cd36c · c7cd36c
1 parent 43a5287
commit c7cd36c
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/tests/test-gr1c.sh b/tests/test-gr1c.sh
@@ -103,6 +103,10 @@ done
 if test $VERBOSE -eq 1; then
     echo "\nChecking syntax for examples of DOT output..."
 fi
+if ! (dot -V > /dev/null); then
+    echo $PREFACE "GraphViz dot not installed. Tests require it to check DOT syntax.\n"
+    exit 1
+fi
 if ! ($BUILD_ROOT/gr1c -t dot specs/trivial_2var.spc | dot -Tsvg > /dev/null); then
     echo $PREFACE "syntax error in DOT output from gr1c on specs/trivial_2var.spc\n"
     exit 1
@@ -111,6 +115,10 @@ fi
 if test $VERBOSE -eq 1; then
     echo "\nChecking syntax for examples of JSON output..."
 fi
+if ! (python -V > /dev/null); then
+    echo $PREFACE "Python not installed. Tests require it to check JSON syntax.\n"
+    exit 1
+fi
 if ! ($BUILD_ROOT/gr1c -t json specs/trivial_2var.spc | python -m json.tool > /dev/null); then
     echo $PREFACE "syntax error in JSON output from gr1c on specs/trivial_2var.spc\n"
     exit 1