diff --git a/tests/bin/Marabou b/tests/bin/Marabou
index 47211a6204fbf475ef58afcdab0e1a90682278f8..989ee31d73e1ee92846e1874f0c14a2da42efa68 100644
--- a/tests/bin/Marabou
+++ b/tests/bin/Marabou
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/sh -e
 
 
 case $1 in
@@ -6,7 +6,9 @@ case $1 in
         echo "1.0.+"
         ;;
     *)
+        echo "PWD: $(pwd)"
         echo "NN: $1"
+        test -e $1 || (echo "Cannot find the NN file" && exit 1)
         echo "Goal:"
         cat $2
         echo "Unknown"
diff --git a/tests/bin/pyrat.py b/tests/bin/pyrat.py
index a6e81e991a96a4856284cf92d4e730568aeb05bb..e3331a76e46ff92c7b8ed48e530e1bfc1e518d85 100755
--- a/tests/bin/pyrat.py
+++ b/tests/bin/pyrat.py
@@ -8,7 +8,7 @@ case $1 in
     *)
         echo "PWD: $(pwd)"
         echo "NN: $2"
-        test -e $2 || (echo "Can't find the file" && exit 1)
+        test -e $2 || (echo "Cannot find the NN file" && exit 1)
         echo "Goal:"
         cat $4
         echo "Result = Unknown"