From 6a8c5f83d2135f6f088ef3d654b157066c7459dd Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Mon, 29 Aug 2022 18:30:21 +0200
Subject: [PATCH] re-normalize test
---
tests/misc/local_array_non_literal_size.i | 2 +-
tests/misc/oracle/local_array_non_literal_size.res.oracle | 3 +--
2 files changed, 2 insertions(+), 3 deletions(-)
diff --git a/tests/misc/local_array_non_literal_size.i b/tests/misc/local_array_non_literal_size.i
index cc8c1cf75ba..c47ca9ebc4f 100644
--- a/tests/misc/local_array_non_literal_size.i
+++ b/tests/misc/local_array_non_literal_size.i
@@ -1,5 +1,5 @@
/* run.config
- PLUGIN: eva,inout
+ PLUGIN: @EVA_PLUGINS@
OPT: -eva -machdep gcc_x86_64
*/
diff --git a/tests/misc/oracle/local_array_non_literal_size.res.oracle b/tests/misc/oracle/local_array_non_literal_size.res.oracle
index ad5c39b2fd5..6453531ae5f 100644
--- a/tests/misc/oracle/local_array_non_literal_size.res.oracle
+++ b/tests/misc/oracle/local_array_non_literal_size.res.oracle
@@ -8,7 +8,6 @@
[eva:initial-state] Values of globals at initialization
[eva] done for function main
-[eva] Warning: The scope plugin is missing: cannot remove redundant alarms.
[eva] ====== VALUES COMPUTED ======
[eva:final-states] Values at end of function one_dim:
normal_array[0] ∈ {0}
@@ -33,7 +32,7 @@
In these functions, 14 statements reached (out of 14): 100% coverage.
----------------------------------------------------------------------------
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
----------------------------------------------------------------------------
0 alarms generated by the analysis.
--
GitLab