From e5e9ba1b77084ae8dae580c59f63dbfba366fa2a Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Thu, 10 Feb 2022 17:13:20 +0100
Subject: [PATCH] [tests] restore ./src/plugin/markdown-report/tests from
master
---
.../markdown-report/tests/md/oracle/cwe126.0.md | 14 ++++++++++++++
.../tests/sarif/oracle/cwe125.res.oracle | 3 ---
2 files changed, 14 insertions(+), 3 deletions(-)
delete mode 100644 src/plugins/markdown-report/tests/sarif/oracle/cwe125.res.oracle
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 e12065d755d..bec42c33dba 100644
--- a/src/plugins/markdown-report/tests/md/oracle/cwe126.0.md
+++ b/src/plugins/markdown-report/tests/md/oracle/cwe126.0.md
@@ -26,11 +26,25 @@ that have been considered during the analysis are the following:
## Configuration {#options}
+### Eva Domains {#domains}
+
+Only the base domain (`cvalue`) has been used for the analysis
+
+
### Stubbed Functions {#stubs}
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 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.
+
+
# Warnings {#warnings}
The table below lists the warning that have been emitted by the analyzer.
diff --git a/src/plugins/markdown-report/tests/sarif/oracle/cwe125.res.oracle b/src/plugins/markdown-report/tests/sarif/oracle/cwe125.res.oracle
deleted file mode 100644
index 0ef7666c977..00000000000
--- a/src/plugins/markdown-report/tests/sarif/oracle/cwe125.res.oracle
+++ /dev/null
@@ -1,3 +0,0 @@
-[kernel] Parsing cwe125.c (with preprocessing)
-[kernel:typing:implicit-function-declaration] cwe125.c:27: Warning:
- Calling undeclared function printf. Old style K&R code?
--
GitLab