[Eva] Add an option to dump statistics into a CSV file

src/plugins/eva/parameters.ml

@@ -1091,6 +1091,18 @@ module NumerorsLogFile =
                   function in the given file"
     end)
 
+let () = Parameter_customize.set_group messages
+module StatisticsFile =
+  Filepath
+    (struct
+      let option_name = "-eva-statistics-file"
+      let arg_name = "file.csv"
+      let file_kind = "CSV"
+      let existence = Fc_Filepath.Indifferent
+      let help = "Dump some internal statistics about the analysis"
+    end)
+
+
 (* ------------------------------------------------------------------------- *)
 (* --- Interpreter mode                                                  --- *)
 (* ------------------------------------------------------------------------- *)

src/plugins/eva/parameters.mli

@@ -125,6 +125,7 @@ module ShowSlevel: Parameter_sig.Int
 module PrintCallstacks: Parameter_sig.Bool
 module ReportRedStatuses: Parameter_sig.Filepath
 module NumerorsLogFile: Parameter_sig.Filepath
+module StatisticsFile: Parameter_sig.Filepath
 
 module MemExecAll: Parameter_sig.Bool
 

src/plugins/eva/utils/statistics.ml

@@ -179,7 +179,7 @@ let export_as_csv_to_channel out_channel =
   List.iter (pp_stat fmt) l
 
 let export_as_csv ?filename () =
-  let filename = (filename : Filepath.Normalized.t option :> string option) in
-  let filename = Option.value ~default:"stats.json" filename in
+  let default = Parameters.StatisticsFile.get () in
+  let filename = Option.value ~default filename in
   let out_channel = open_out (filename :> string) in
   export_as_csv_to_channel out_channel