[SAVer] Parameters of SAVer added in CAISAR command line.

config/caisar-detection-data.conf

@@ -36,6 +36,6 @@ exec = "saver"
 version_switch = "--version 2>&1 | cat"
 version_regexp = "\\(v[0-9.]+\\)"
 version_ok = "v1.0"
-command = "%e %{svm} %{dataset} hybrid l_inf %{epsilon}"
+command = "%e %{svm} %{dataset} %{abstraction} %{distance} %{epsilon}"
 driver = "caisar_drivers/saver.drv"
 use_at_auto_level = 1

src/verification.ml

@@ -48,6 +48,8 @@ let nnet_or_onnx = Re__Core.(compile (str "%{nnet-onnx}"))
 let svm = Re__Core.(compile (str "%{svm}"))
 let dataset = Re__Core.(compile (str "%{dataset}"))
 let epsilon = Re__Core.(compile (str "%{epsilon}"))
+let abstraction = Re__Core.(compile (str "%{abstraction}"))
+let distance = Re__Core.(compile (str "%{distance}"))
 
 let combine_prover_answers answers =
   List.fold_left answers ~init:Call_provers.Valid ~f:(fun acc r ->
@@ -99,6 +101,8 @@ let answer_saver limit config task env prover dataset_csv =
     let command = Re__Core.replace_string svm ~by:svm_file command in
     let command = Re__Core.replace_string dataset ~by:dataset_file command in
     let command = Re__Core.replace_string epsilon ~by:eps command in
+    let command = Re__Core.replace_string distance ~by:"l_inf" command in
+    let command = Re__Core.replace_string abstraction ~by:"hybrid" command in
     command
   in
   let command = Whyconf.get_complete_command ~with_steps:false prover in