From 06cf3db8bca4232b05b554e435ff487bc680eac8 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Fri, 7 Oct 2022 09:28:32 +0200
Subject: [PATCH] [tests] Rework Marabou test.

---
 tests/marabou.t | 13 +------------
 1 file changed, 1 insertion(+), 12 deletions(-)

diff --git a/tests/marabou.t b/tests/marabou.t
index 79fb48a..c5578ce 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.+
-- 
GitLab