diff --git a/src/verification.ml b/src/verification.ml
index e9f5bfd7a2be75abfb8694a907e33456f71d6345..419eb119da249da10a041ea2de5b252438ff3f84 100644
--- a/src/verification.ml
+++ b/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
diff --git a/tests/bin/saver b/tests/bin/saver
index 749276f4982959e19e12f9ce88f2a16ea7509403..afa49d80857de8f00b617f683155bf1cfb5103fc 100644
--- a/tests/bin/saver
+++ b/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"
diff --git a/tests/dune b/tests/dune
index 663a7daf12887e1aaa7cb23a2d47e3668e9e6f9f..f4fdcc24dab63d03a62cde53b9cf75f47e3c1414 100644
--- a/tests/dune
+++ b/tests/dune
@@ -4,7 +4,6 @@
    TestNetwork.nnet
    TestNetworkONNX.onnx
    TestSVM.ovo
-   test_data.csv
    bin/pyrat.py
    bin/Marabou
    bin/saver
diff --git a/tests/simple_ovo.t b/tests/simple_ovo.t
index f9ba617809da6980579172c44d60c112d6d23048..212e84135b59133aa7485b6ea8aca1683744e5c4 100644
--- a/tests/simple_ovo.t
+++ b/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
diff --git a/tests/test_data.csv b/tests/test_data.csv
deleted file mode 100644
index a48580a3ee25ab5d044f5a725a380701dbe5063a..0000000000000000000000000000000000000000
--- a/tests/test_data.csv
+++ /dev/null
@@ -1,2 +0,0 @@
-# 1 3
-1,0.5,0.5,0.0,