diff --git a/tests/autodetect.t b/tests/autodetect.t
index 00f7223d030bd042f6c345837b790e1c00a68a6b..abd5d8866a803d2a928163ae5c4ddd19a463a77b 100644
--- a/tests/autodetect.t
+++ b/tests/autodetect.t
@@ -4,7 +4,7 @@ Test autodetect
   > echo "2.4.0"
   > EOF
 
-  $ chmod u+x bin/alt-ergo bin/pyrat.py bin/Marabou
+  $ chmod u+x bin/alt-ergo bin/pyrat.py bin/Marabou bin/saver
 
   $ bin/alt-ergo
   2.4.0
diff --git a/tests/bin/pyrat.py b/tests/bin/pyrat.py
old mode 100755
new mode 100644