@@ -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.