From 8276b98c2535e123c9d004381e1336d2121c2b13 Mon Sep 17 00:00:00 2001
From: Julien Girard <julien.girard2@cea.fr>
Date: Tue, 12 Apr 2022 14:28:42 +0200
Subject: [PATCH] [SAVer] Correct type for dataset csv file.
---
src/main.ml | 2 +-
src/verification.ml | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main.ml b/src/main.ml
index a3ebbf89..b79b5189 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -158,7 +158,7 @@ let verify_cmd =
in
let dataset_csv =
let doc = "Dataset under CSV format. Currently only supported by SAVer." in
- Arg.(value & opt (some string) None & info [ "dataset-csv" ] ~doc)
+ Arg.(value & opt (some file) None & info [ "dataset-csv" ] ~doc)
in
let doc =
"Property verification of neural networks using external provers."
diff --git a/src/verification.ml b/src/verification.ml
index 4639fe6f..60e425b6 100644
--- a/src/verification.ml
+++ b/src/verification.ml
@@ -140,7 +140,7 @@ let answer_saver limit config task env prover dataset_csv =
else Call_provers.Invalid
| None -> Call_provers.HighFailure
(* Any other answer than HighFailure should never happen as we do not
- define anything in SAVer's driver *))
+ define anything in SAVer's driver. *))
| _ -> assert false
in
answer
--
GitLab