Skip to content
Snippets Groups Projects
Commit f33c170c authored by Julien Girard-Satabin's avatar Julien Girard-Satabin
Browse files

[SAVer] Option on dataset csv.

parent 8276b98c
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 3 deletions
src/verification.ml
+ 2
− 3
View file @ f33c170c
...@@ -61,8 +61,8 @@ let answer_saver limit config task env prover dataset_csv = ...@@ -61,8 +61,8 @@ let answer_saver limit config task env prover dataset_csv =
let handle_task_saver task env dataset_csv command = let handle_task_saver task env dataset_csv command =
let dataset_filename = let dataset_filename =
match dataset_csv with match dataset_csv with
| "" -> failwith "Error, no dataset provided for SAVer." | None -> failwith "Error, no dataset provided for SAVer."
| s -> s | Some s -> s
in in
let goal = Task.task_goal_fmla task in let goal = Task.task_goal_fmla task in
let eps, svm_filename = let eps, svm_filename =
...@@ -190,7 +190,6 @@ let verify ?(debug = false) format loadpath ?memlimit ?timeout prover ...@@ -190,7 +190,6 @@ let verify ?(debug = false) format loadpath ?memlimit ?timeout prover
let env, config = create_env loadpath in let env, config = create_env loadpath in
let steplimit = None in let steplimit = None in
let steps = match steplimit with Some 0 -> None | _ -> steplimit in let steps = match steplimit with Some 0 -> None | _ -> steplimit in
let dataset_csv = Option.value dataset_csv ~default:"" in
let limit = let limit =
let memlimit = let memlimit =
Option.value memlimit ~default:Whyconf.(memlimit (get_main config)) Option.value memlimit ~default:Whyconf.(memlimit (get_main config))
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment