diff --git a/tests/marabou.t b/tests/marabou.t
index 79fb48a23d03d423e1228125e5d07f4e7399f5d5..c5578ce8bc7f08a42b2ca4a22a0aeae8fcb586c9 100644
--- a/tests/marabou.t
+++ b/tests/marabou.t
@@ -1,16 +1,5 @@
 Test verify
-  $ cat - > bin/alt-ergo << EOF
-  > #!/bin/sh
-  > echo "2.4.0"
-  > EOF
-
-  $ chmod u+x bin/alt-ergo bin/pyrat.py bin/Marabou
-
-  $ bin/alt-ergo
-  2.4.0
-
-  $ bin/pyrat.py --version
-  PyRAT 1.1
+  $ chmod u+x bin/Marabou
 
   $ bin/Marabou --version
   1.0.+