[Eva] Changes "value analysis" into "Eva" in some messages.

src/plugins/value/engine/compute_functions.ml

@@ -390,7 +390,7 @@ module Make
     in
     match initial_state with
     | `Bottom ->
-      Value_parameters.result "Value analysis not started because globals \
+      Value_parameters.result "Eva not started because globals \
                                initialization is not computable.";
       Eval_annots.mark_invalid_initializers ()
     | `Value init_state ->

src/plugins/value/value_parameters.ml

@@ -549,7 +549,7 @@ module AutomaticContextMaxDepth =
       let option_name = "-eva-context-depth"
       let default = 2
       let arg_name = "n"
-      let help = "use <n> as the depth of the default context for value analysis. (defaults to 2)"
+      let help = "use <n> as the depth of the default context for Eva. (defaults to 2)"
     end)
 let () = add_correctness_dep AutomaticContextMaxDepth.parameter
 let () = AutomaticContextMaxDepth.add_aliases ["-context-depth"]
@@ -561,7 +561,7 @@ module AutomaticContextMaxWidth =
       let option_name = "-eva-context-width"
       let default = 2
       let arg_name = "n"
-      let help = "use <n> as the width of the default context for value analysis. (defaults to 2)"
+      let help = "use <n> as the width of the default context for Eva. (defaults to 2)"
     end)
 let () = AutomaticContextMaxWidth.set_range ~min:1 ~max:max_int
 let () = add_correctness_dep AutomaticContextMaxWidth.parameter

tests/float/oracle/const1.res.oracle

@@ -11,7 +11,7 @@
 [eva] Initial state computed
 [eva:initial-state] Values of globals at initialization
   NOT ACCESSIBLE
-[eva] Value analysis not started because globals initialization is not computable.
+[eva] Eva not started because globals initialization is not computable.
 [from] ====== DEPENDENCIES COMPUTED ======
   These dependencies hold at termination for the executions that terminate:
 [from] ====== END OF DEPENDENCIES ======

tests/float/oracle/const2.res.oracle

@@ -10,7 +10,7 @@
 [eva] Initial state computed
 [eva:initial-state] Values of globals at initialization
   NOT ACCESSIBLE
-[eva] Value analysis not started because globals initialization is not computable.
+[eva] Eva not started because globals initialization is not computable.
 [from] ====== DEPENDENCIES COMPUTED ======
   These dependencies hold at termination for the executions that terminate:
 [from] ====== END OF DEPENDENCIES ======

tests/float/oracle/const4.0.res.oracle

@@ -12,7 +12,7 @@
 [eva] Initial state computed
 [eva:initial-state] Values of globals at initialization
   NOT ACCESSIBLE
-[eva] Value analysis not started because globals initialization is not computable.
+[eva] Eva not started because globals initialization is not computable.
 [from] ====== DEPENDENCIES COMPUTED ======
   These dependencies hold at termination for the executions that terminate:
 [from] ====== END OF DEPENDENCIES ======

tests/value/oracle/global_bug.res.oracle

@@ -8,7 +8,7 @@
 [eva] Initial state computed
 [eva:initial-state] Values of globals at initialization
   NOT ACCESSIBLE
-[eva] Value analysis not started because globals initialization is not computable.
+[eva] Eva not started because globals initialization is not computable.
 [from] ====== DEPENDENCIES COMPUTED ======
   These dependencies hold at termination for the executions that terminate:
 [from] ====== END OF DEPENDENCIES ======