From a94e293c2d0094ed10efdd48920f16b0636a2f70 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Wed, 2 Dec 2020 09:47:20 +0100
Subject: [PATCH] [mdr] fix spelling of Eva
---
src/plugins/markdown-report/eva_coverage.ml | 4 ++--
src/plugins/markdown-report/md_gen.ml | 8 ++++----
src/plugins/markdown-report/tests/md/oracle/cwe126.0.md | 6 +++---
3 files changed, 9 insertions(+), 9 deletions(-)
diff --git a/src/plugins/markdown-report/eva_coverage.ml b/src/plugins/markdown-report/eva_coverage.ml
index 1308a8b29b8..3b04f7e3077 100644
--- a/src/plugins/markdown-report/eva_coverage.ml
+++ b/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
diff --git a/src/plugins/markdown-report/md_gen.ml b/src/plugins/markdown-report/md_gen.ml
index d751577ab1e..a230323fc8c 100644
--- a/src/plugins/markdown-report/md_gen.ml
+++ b/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
diff --git a/src/plugins/markdown-report/tests/md/oracle/cwe126.0.md b/src/plugins/markdown-report/tests/md/oracle/cwe126.0.md
index 22a6d1e7020..4fddd3e2ba0 100644
--- a/src/plugins/markdown-report/tests/md/oracle/cwe126.0.md
+++ b/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}
--
GitLab