Skip to content
Snippets Groups Projects
Commit 6a8c5f83 authored by Andre Maroneze's avatar Andre Maroneze
Browse files

re-normalize test

parent f0e1a665
No related branches found
No related tags found
No related merge requests found
/* run.config /* run.config
PLUGIN: eva,inout PLUGIN: @EVA_PLUGINS@
OPT: -eva -machdep gcc_x86_64 OPT: -eva -machdep gcc_x86_64
*/ */
......
...@@ -8,7 +8,6 @@ ...@@ -8,7 +8,6 @@
[eva:initial-state] Values of globals at initialization [eva:initial-state] Values of globals at initialization
[eva] done for function main [eva] done for function main
[eva] Warning: The scope plugin is missing: cannot remove redundant alarms.
[eva] ====== VALUES COMPUTED ====== [eva] ====== VALUES COMPUTED ======
[eva:final-states] Values at end of function one_dim: [eva:final-states] Values at end of function one_dim:
normal_array[0] ∈ {0} normal_array[0] ∈ {0}
...@@ -33,7 +32,7 @@ ...@@ -33,7 +32,7 @@
In these functions, 14 statements reached (out of 14): 100% coverage. In these functions, 14 statements reached (out of 14): 100% coverage.
---------------------------------------------------------------------------- ----------------------------------------------------------------------------
Some errors and warnings have been raised during the analysis: Some errors and warnings have been raised during the analysis:
by the Eva analyzer: 0 errors 1 warning by the Eva analyzer: 0 errors 0 warnings
by the Frama-C kernel: 0 errors 1 warning by the Frama-C kernel: 0 errors 1 warning
---------------------------------------------------------------------------- ----------------------------------------------------------------------------
0 alarms generated by the analysis. 0 alarms generated by the analysis.
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment