From 66133a7b9e5c293cf2526dcb642f65743c4c6c20 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Sat, 1 May 2021 16:00:53 +0200
Subject: [PATCH] [tests] using PLUGIN directive
---
tests/test_config | 7 +++++++
1 file changed, 7 insertions(+)
diff --git a/tests/test_config b/tests/test_config
index e2369075..f9803a17 100644
--- a/tests/test_config
+++ b/tests/test_config
@@ -1,7 +1,14 @@
FILEREG:.*\.\(cc\|cpp\|ii\)$
MACRO: MACHDEP -machdep x86_32
MACRO: CXX -cxx-c++stdlib-path share/libc++ -cxx-clang-command="bin/framaCIRGen"
+
MACRO: EVA -eva -eva-msg-key=-summary
MACRO: WP -wp -wp-par 1 -wp-session tests/wp-cache -wp-cache update -wp-msg-key shell
+
+MACRO: EVA_PLUGINS eva,scope inout,from variadic
+MACRO: WP_PLUGINS wp,rtegen
+
+PLUGIN: Frama_Clang @WP_PLUGINS@ @EVA_PLUGINS@
+
OPT: @MACHDEP@ -print -check @CXX@
FILTER:sed -e "s|${FRAMAC_SHARE}|FRAMAC_SHARE|g" -e "s|$(pwd -P)/||g"
--
GitLab