Skip to content
Snippets Groups Projects
Commit 66133a7b authored by Patrick Baudin's avatar Patrick Baudin Committed by Virgile Prevosto
Browse files

[tests] using PLUGIN directive

parent 43d6c37c
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 7 additions and 0 deletions
tests/test_config
+ 7
− 0
View file @ 66133a7b
FILEREG:.*\.\(cc\|cpp\|ii\)$ FILEREG:.*\.\(cc\|cpp\|ii\)$
MACRO: MACHDEP -machdep x86_32 MACRO: MACHDEP -machdep x86_32
MACRO: CXX -cxx-c++stdlib-path share/libc++ -cxx-clang-command="bin/framaCIRGen" MACRO: CXX -cxx-c++stdlib-path share/libc++ -cxx-clang-command="bin/framaCIRGen"
MACRO: EVA -eva -eva-msg-key=-summary 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: 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@ OPT: @MACHDEP@ -print -check @CXX@
FILTER:sed -e "s|${FRAMAC_SHARE}|FRAMAC_SHARE|g" -e "s|$(pwd -P)/||g" FILTER:sed -e "s|${FRAMAC_SHARE}|FRAMAC_SHARE|g" -e "s|$(pwd -P)/||g"
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment