[mdr] fix spelling of Eva

src/plugins/markdown-report/eva_coverage.ml

@@ -192,7 +192,7 @@ let md_gen () =
   let summary_whole =
     Markdown.format
       "There are %d function definitions that are not stubbed. They represent \
-       %d statements, of which %d are potentially reachable through EVA, \
+       %d statements, of which %d are potentially reachable through Eva, \
        resulting in a **statement coverage of %.1f%%** with respect to the \
        entire application."
       (nb_fundefs())
@@ -220,7 +220,7 @@ let md_gen () =
     summary @
     Markdown.format
       "These functions contain %d statements, \
-       of which %d are potentially reachable according to EVA, resulting in \
+       of which %d are potentially reachable according to Eva, resulting in \
        a **statement coverage of %.1f%%** with respect to the perimeter set \
        by this entry point."
       stats.total_stmts stats.covered_stmts

src/plugins/markdown-report/md_gen.ml

@@ -57,10 +57,10 @@ let get_eva_domains () =
 
 let section_domains env =
   let anchor = "domains" in
-  let head = H3 (plain "EVA Domains", Some anchor) in
+  let head = H3 (plain "Eva Domains", Some anchor) in
   if env.is_draft then
     head
-    :: Comment "You can give more information about the choice of EVA domains"
+    :: Comment "You can give more information about the choice of Eva domains"
     :: insert_marks env anchor
   else begin
     let l = get_eva_domains () in
@@ -76,7 +76,7 @@ let section_domains env =
          [Text
             (plain
                "In addition to the base domain (`cvalue`), additional \
-                domains have been used by EVA");
+                domains have been used by Eva");
           DL l]
       )
     :: insert_remark env anchor
@@ -275,7 +275,7 @@ let gen_coverage env =
   let content =
     if env.is_draft then
       content @
-      Comment "You can comment on the coverage obtained by EVA"
+      Comment "You can comment on the coverage obtained by Eva"
       :: insert_marks env anchor
     else
       content @ insert_remark env anchor

src/plugins/markdown-report/tests/md/oracle/cwe126.0.md

@@ -26,7 +26,7 @@ that have been considered during the analysis are the following:
 
 ## Configuration {#options}
 
-### EVA Domains {#domains}
+### Eva Domains {#domains}
 
 Only the base domain (`cvalue`) has been used for the analysis
 
@@ -38,11 +38,11 @@ No stubs have been used for this analysis
 
 # Coverage {#coverage}
 
-There are 6 function definitions that are not stubbed. They represent 50 statements, of which 50 are potentially reachable through EVA, resulting in a **statement coverage of 100.0%** with respect to the entire application.
+There are 6 function definitions that are not stubbed. They represent 50 statements, of which 50 are potentially reachable through Eva, resulting in a **statement coverage of 100.0%** with respect to the entire application.
 
 
 There were potentially 6 functions syntactically reachable from main.
-These functions contain 50 statements, of which 50 are potentially reachable according to EVA, resulting in a **statement coverage of 100.0%** with respect to the perimeter set by this entry point.
+These functions contain 50 statements, of which 50 are potentially reachable according to Eva, resulting in a **statement coverage of 100.0%** with respect to the perimeter set by this entry point.
 
 
 # Warnings {#warnings}