[Tests] Use the new Eva API

tests/crowbar/constfold.ml

@@ -206,7 +206,7 @@ let run typ expr =
   end;
   File.prepare_cil_file cil;
   Kernel.MainFunction.set "f";
-  !Db.Value.compute ();
+  Eva.Analysis.compute ();
   let kf = Globals.Functions.find_by_name "f" in
   let r = Globals.Vars.find_from_astinfo "result" Cil_types.VGlobal in
   let ret = Kernel_function.find_return kf in

tests/misc/bts1201.ml

 let main () =
-  !Db.Value.compute ();
+  Eva.Analysis.compute ();
   Globals.set_entry_point "main2" false;
-  !Db.Value.compute ();
+  Eva.Analysis.compute ();
 ;;
 
 let () = Db.Main.extend main

tests/misc/bts1347.ml

@@ -7,7 +7,7 @@ let run () =
     (fun kf ->
       if not (Cil_builtins.is_builtin (Kernel_function.get_vi kf)) then begin
 	Globals.set_entry_point (Kernel_function.get_name kf) true;
-	!Db.Value.compute();
+	Eva.Analysis.compute();
 	let hyps = 
 	  Alarms.fold
 	    (fun _ kf' s ~rank:_ _ a l -> 

tests/misc/ensures.ml

@@ -2,7 +2,7 @@ open Cil_types
 
 let run () =
   Dynamic.Parameter.Bool.set "-eva-context-valid-pointers" true;
-  !Db.Value.compute ();
+  Eva.Analysis.compute ();
   Globals.Functions.iter
     (fun kf ->
        let kf_name = Kernel_function.get_name kf in

tests/misc/issue109.ml

@@ -6,10 +6,10 @@ let ptest_file =
   with Not_found -> fun dir file -> dir ^ file
 
 let main () =
-  !Db.Value.compute ();
+  Eva.Analysis.compute ();
   Dynamic.Parameter.String.set "" "";
   Dynamic.Parameter.String.set "" (ptest_file "tests/misc/" "issue109.i");
   File.init_from_cmdline ();
-  !Db.Value.compute ()
+  Eva.Analysis.compute ()
 
 let main = Db.Main.extend main

tests/misc/log_twice.ml

@@ -8,9 +8,9 @@ let run () =
       ~last:false
       "default"
   in
-  !Db.Value.compute ();
+  Eva.Analysis.compute ();
   Project.set_current p_default;
-  !Db.Value.compute ();
+  Eva.Analysis.compute ();
   ()
 
 let () = Db.Main.extend run 

tests/misc/well_typed_alarm.ml

 let main () =
-  !Db.Value.compute();
+  Eva.Analysis.compute();
   Filecheck.check_ast "Check alarm";
   File.pretty_ast ()
 

tests/saveload/load_one.ml

@@ -18,13 +18,13 @@ let main () =
   Project.save fp;
   Project.remove ~project:p ();
   let p = Project.load fp in
-  Project.on p (fun () -> !Db.Value.compute (); ignore (sparecode ())) ()
+  Project.on p (fun () -> Eva.Analysis.compute (); ignore (sparecode ())) ()
 
 let () = Db.Main.extend main
 
 (* testing Project.create_by_copy *)
 let main2 () =
-  !Db.Value.compute ();
+  Eva.Analysis.compute ();
   let prj = Project.create_by_copy ~last:false "copy" in
   Format.printf "INIT AST@.";
   File.pretty_ast ();

tests/slicing/combine.ml

@@ -63,7 +63,7 @@ let main _ =
     Cil.visitCilFile infos new_cil_file (* the cil file after slicing *);;
   *)
   Dynamic.Parameter.Bool.set "-eva-show-progress" true;
-  !Db.Value.compute ();
+  Eva.Analysis.compute ();
   let all = Cil_datatype.Fundec.Set.empty in
   let proj3 = Constant_Propagation.Api.get all ~cast_intro:true in
   Project.set_current proj3;

tests/slicing/libSelect.ml

@@ -64,7 +64,7 @@ let load_source_file ?entry_point filename  =
   in
   ignore (Db.get_cil_file ());
   let kf = Db.find_function_def_by_name entry_point in
-    ignore (!Db.Value.compute_entry_point kf ~library);
+    ignore (Eva.Analysis.compute_entry_point kf ~library);
   Db.iter_on_functions
     (fun kf -> if Db.is_definition kf && Db.Value.is_called kf
      then !Db.From.compute kf)

tests/syntax/Refresh_visitor.ml

@@ -72,7 +72,7 @@ let main () =
   );
   Project.on p (fun () ->
       Dynamic.Parameter.Bool.set "-eva-show-progress" true;
-      !Db.Value.compute ()
+      Eva.Analysis.compute ()
     ) ();
   File.pretty_ast ~prj:p ()