From 5100ed98cbcf436587cb736f1d4743e0c1c3ece5 Mon Sep 17 00:00:00 2001
From: Julien Girard <julien.girard2@cea.fr>
Date: Tue, 5 Apr 2022 15:53:57 +0200
Subject: [PATCH] [SAVer] Simplified SAVer test.
---
src/verification.ml | 2 +-
tests/bin/saver | 2 +-
tests/dune | 1 -
tests/simple_ovo.t | 5 +++++
tests/test_data.csv | 2 --
5 files changed, 7 insertions(+), 5 deletions(-)
delete mode 100644 tests/test_data.csv
diff --git a/src/verification.ml b/src/verification.ml
index e9f5bfd7..419eb119 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 749276f4..afa49d80 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 663a7daf..f4fdcc24 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 f9ba6178..212e8413 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 a48580a3..00000000
--- a/tests/test_data.csv
+++ /dev/null
@@ -1,2 +0,0 @@
-# 1 3
-1,0.5,0.5,0.0,
--
GitLab