[Marabou] Add test stub.

tests/autodetect.t

@@ -4,11 +4,6 @@ Test autodetect
   > echo "2.4.0"
   > EOF
 
-  $ cat - > bin/Marabou << EOF
-  > #!/bin/sh
-  > echo "1.0.+"
-  > EOF
-
   $ chmod u+x bin/alt-ergo bin/pyrat.py bin/Marabou
 
   $ bin/alt-ergo
@@ -17,7 +12,7 @@ Test autodetect
   $ bin/pyrat.py --version
   PyRAT 1.1
 
-  $ bin/Marabou
+  $ bin/Marabou --version
   1.0.+
 
   $ PATH=$(pwd)/bin:$PATH

tests/bin/Marabou

+#!/bin/sh
+
+
+case $1 in
+    --version)
+        echo "1.0.+"
+        ;;
+    *)
+        echo "NN: $1"
+        echo "Goal:"
+        cat $2
+        echo "Unknown"
+esac

tests/dune

@@ -3,4 +3,5 @@
   (package caisar)
    TestNetwork.nnet
    bin/pyrat.py
+   bin/Marabou
 ))

tests/marabout.t

@@ -4,11 +4,6 @@ Test verify
   > echo "2.4.0"
   > EOF
 
-  $ cat - > bin/Marabou << EOF
-  > #!/bin/sh
-  > echo "1.0.+"
-  > EOF
-
   $ chmod u+x bin/alt-ergo bin/pyrat.py bin/Marabou
 
   $ bin/alt-ergo
@@ -17,7 +12,7 @@ Test verify
   $ bin/pyrat.py --version
   PyRAT 1.1
 
-  $ bin/Marabou
+  $ bin/Marabou --version
   1.0.+
 
   $ PATH=$(pwd)/bin:$PATH
@@ -43,7 +38,14 @@ Test verify
   <autodetect>Found prover Marabou version 1.0.+, OK.
   <autodetect>Found prover PyRAT version 1.1, OK.
   <autodetect>3 prover(s) added
-  Goal G: High failure
+  Goal G: Unknown
+  ()
   Output:
-  1.0.+
+  NN: ./TestNetwork.nnet
+  Goal:
+  x0 >  0.0
+  x0 <  0.5
+  y0 >  0.0
+  y0 <  0.5
+  Unknown
   

tests/simple.t

@@ -4,11 +4,6 @@ Test verify
   > echo "2.4.0"
   > EOF
 
-  $ cat - > bin/Marabou << EOF
-  > #!/bin/sh
-  > echo "1.0.+"
-  > EOF
-
   $ chmod u+x bin/alt-ergo bin/pyrat.py bin/Marabou
 
   $ bin/alt-ergo
@@ -17,7 +12,7 @@ Test verify
   $ bin/pyrat.py --version
   PyRAT 1.1
 
-  $ bin/Marabou
+  $ bin/Marabou --version
   1.0.+
 
   $ PATH=$(pwd)/bin:$PATH