[SAVer] Simplified SAVer test.

src/verification.ml

@@ -120,7 +120,7 @@ let answer_saver limit config task env prover dataset_csv =
   let prover_call =
     Call_provers.call_on_buffer ~libdir:(Whyconf.libdir config)
       ~datadir:(Whyconf.datadir config) ~command ~limit ~res_parser
-      ~filename:"foo.txt" ~get_counterexmp:false ~gen_new_file:false
+      ~filename:" " ~get_counterexmp:false ~gen_new_file:false
       ~printing_info:Printer.default_printing_info (Buffer.create 10)
   in
   let prover_result = Call_provers.wait_on_call prover_call in

tests/bin/saver

@@ -6,7 +6,7 @@ case $1 in
         echo "v1.0"
         ;;
     *)
-        echo "NN: $1"
+        echo "SVM: $1"
         echo "Goal:"
         cat $2
         echo "Unknown"

tests/dune

@@ -4,7 +4,6 @@
    TestNetwork.nnet
    TestNetworkONNX.onnx
    TestSVM.ovo
-   test_data.csv
    bin/pyrat.py
    bin/Marabou
    bin/saver

tests/simple_ovo.t

@@ -4,6 +4,11 @@ Test verify
   > echo "2.4.0"
   > EOF
 
+  $ cat - > test_data.csv << EOF
+  > # 1 3
+  > 1,0.5,0.5,0.0,
+  > EOF
+
   $ chmod u+x bin/alt-ergo bin/pyrat.py bin/Marabou bin/saver
 
   $ bin/alt-ergo

tests/test_data.csv

-# 1 3
-1,0.5,0.5,0.0,