(undocumented) option to pass EC arguments via runtest

EasyCrypt · May 25, 2024 · 945c4e0 · 945c4e0
1 parent 3c9a7e0
commit 945c4e0
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 2 deletions.
diff --git a/src/ec.ml b/src/ec.ml
@@ -301,7 +301,9 @@ let main () =
                 (Format.sprintf "--jobs=%d")
                 input.runo_jobs
             )
-          @ List.map (Format.sprintf "--bin-args=%s") ecargs
+          @ List.map
+              (Format.sprintf "--bin-args=%s")
+              (ecargs @ input.runo_rawargs)
           @ [input.runo_input]
           @ input.runo_scenarios
         in

diff --git a/src/ecOptions.ml b/src/ecOptions.ml
@@ -37,6 +37,7 @@ and run_option = {
   runo_report    : string option;
   runo_provers   : prv_options;
   runo_jobs      : int option;
+  runo_rawargs   : string list;
 }
 
 and prv_options = {
@@ -354,6 +355,7 @@ let specs = {
       `Group "provers";
       `Spec  ("report", `String, "dump result to <report>");
       `Spec  ("jobs", `Int, "number of parallel jobs to run");
+      `Spec  ("raw-args", `String, "<internal>");
     ]);
 
     ("why3config", "Configure why3", []);
@@ -511,7 +513,8 @@ let runtest_options_of_values ini values (input, scenarios) =
     runo_scenarios = scenarios;
     runo_report    = get_string "report" values;
     runo_provers   = prv_options_of_values ini values;
-    runo_jobs      = get_int "jobs" values; }
+    runo_jobs      = get_int "jobs" values;
+    runo_rawargs   = get_strings "raw-args" values; }
 
 (* -------------------------------------------------------------------- *)
 let parse getini argv =

diff --git a/src/ecOptions.mli b/src/ecOptions.mli
@@ -33,6 +33,7 @@ and run_option = {
   runo_report    : string option;
   runo_provers   : prv_options;
   runo_jobs      : int option;
+  runo_rawargs   : string list;
 }
 
 and prv_options = {