[Eva] (traces) rename API

src/plugins/value/domains/traces/traces_domain.ml

@@ -712,7 +712,7 @@ let project_of_cfg vreturn s =
 
 
 
-let print_last_traces () =
+let finish_computation () =
   let return_stmt = Kernel_function.find_return (fst (Globals.entry_point ())) in
   let return_exp = match return_stmt.Cil_types.skind with
     | Cil_types.Return (oexp,_) -> oexp

src/plugins/value/domains/traces/traces_domain.mli

@@ -55,4 +55,4 @@ module D: Abstract_domain.Internal
    and type location = Precise_locs.precise_location
    and type state = state
 
-val print_last_traces: unit -> unit
+val finish_computation: unit -> unit

src/plugins/value/register.ml

@@ -36,11 +36,11 @@ let () = Value_parameters.ForceValues.set_output_dependencies [Db.Value.self]
 
 let main () =
   (* Value computations *)
-  if Value_parameters.ForceValues.get () then !Db.Value.compute ();
-  if Db.Value.is_computed () then Red_statuses.report ();
-  if Value_parameters.TracesDomain.get () then begin
-    Traces_domain.print_last_traces ()
-  end
+  if Value_parameters.ForceValues.get () then begin
+    !Db.Value.compute ();
+    Traces_domain.finish_computation ()
+  end;
+  if Db.Value.is_computed () then Red_statuses.report ()
 
 let () = Db.Main.extend main