diff --git a/tests/test_config b/tests/test_config index e23690751d3a65ee3b1fdd3968fccace5ca3d400..f9803a1739d65f8f1c5b1ccdff2ef17c0d072f80 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"