[Eva] statistics: reset statistics at the start of each analysis

src/plugins/eva/engine/analysis.ml

@@ -214,6 +214,7 @@ let force_compute () =
     Eva_audit.check_configuration (Kernel.AuditCheck.get ());
   let kf, lib_entry = Globals.entry_point () in
   reset_analyzer ();
+  Statistics.reset_all ();
   (* The new analyzer can be accesed through hooks *)
   Self.set_computation_state Computing;
   let module Analyzer = (val snd !ref_analyzer) in

src/plugins/eva/utils/statistics.ml

@@ -161,6 +161,9 @@ let incr (type a) (stat : a t) (x : a) =
 let grow (type a) (stat : a t) (x : a) value =
   update stat x (fun v -> max v value)
 
+let reset_all () =
+  State.clear ()
+
 
 (* -- Export --- *)
 

src/plugins/eva/utils/statistics.mli

@@ -36,5 +36,8 @@ val incr : 'a t -> 'a -> unit
 (* Set the stat to the maximum between the current value and the given value *)
 val grow : 'a t -> 'a -> int -> unit
 
+(* Reset all statistics to zero *)
+val reset_all: unit -> unit
+
 (* Export the computed statistics as CSV *)
 val export_as_csv : ?filename:Filepath.Normalized.t -> unit -> unit