Skip to content
Snippets Groups Projects
Commit 1eac3e95 authored by Patrick Baudin's avatar Patrick Baudin
Browse files

[tests] simplification in the writting of test_config file

parent 35c4c79e
No related branches found
No related tags found
No related merge requests found
MACRO: EVA_OPTIONS @EVA_OPTIONS@ -eva-msg-key malloc -eva-warn-key malloc:weak=feedback -eva-no-alloc-returns-null MACRO: EVA_OPTIONS @EVA_OPTIONS@ -eva-msg-key malloc -eva-warn-key malloc:weak=feedback -eva-no-alloc-returns-null
MACRO: EVA_CONFIG @EVA_OPTIONS@ -machdep x86_32
PLUGIN: @EVA_PLUGINS@
OPT: -eva @EVA_CONFIG@ -out -input -deps
MACRO: EVA_OPTIONS @EVA_OPTIONS@ -eva-msg-key malloc -eva-warn-key malloc:weak=feedback -eva-no-alloc-returns-null MACRO: EVA_OPTIONS @EVA_OPTIONS@ -eva-msg-key malloc -eva-warn-key malloc:weak=feedback -eva-no-alloc-returns-null
MACRO: EVA_CONFIG @EVA_OPTIONS@ -machdep x86_32
MACRO: EVA_TEST -eva @EVA_CONFIG@ -out -input -deps
OPT: @EVA_TEST@
MACRO: EVA_OPTIONS @EVA_OPTIONS@ -eva-msg-key malloc -eva-warn-key malloc:weak=feedback -eva-no-alloc-returns-null MACRO: EVA_OPTIONS @EVA_OPTIONS@ -eva-msg-key malloc -eva-warn-key malloc:weak=feedback -eva-no-alloc-returns-null
MACRO: EVA_CONFIG @EVA_OPTIONS@ -machdep x86_32
MACRO: EVA_TEST -eva @EVA_CONFIG@ -out -input -deps
OPT: @EVA_TEST@
MACRO: EVA_OPTIONS @EVA_OPTIONS@ -eva-msg-key malloc -eva-warn-key malloc:weak=feedback -eva-no-alloc-returns-null MACRO: EVA_OPTIONS @EVA_OPTIONS@ -eva-msg-key malloc -eva-warn-key malloc:weak=feedback -eva-no-alloc-returns-null
MACRO: EVA_CONFIG @EVA_OPTIONS@ -machdep x86_32
MACRO: EVA_TEST -eva @EVA_CONFIG@ -out -input -deps
OPT: @EVA_TEST@
MACRO: EVA_OPTIONS @EVA_OPTIONS@ -eva-msg-key malloc -eva-warn-key malloc:weak=feedback -eva-no-alloc-returns-null MACRO: EVA_OPTIONS @EVA_OPTIONS@ -eva-msg-key malloc -eva-warn-key malloc:weak=feedback -eva-no-alloc-returns-null
MACRO: EVA_CONFIG @EVA_OPTIONS@ -machdep x86_32
MACRO: EVA_TEST -eva @EVA_CONFIG@ -out -input -deps
OPT: @EVA_TEST@
MACRO: EVA_OPTIONS @EVA_OPTIONS@ -eva-msg-key malloc -eva-warn-key malloc:weak=feedback -eva-no-alloc-returns-null MACRO: EVA_OPTIONS @EVA_OPTIONS@ -eva-msg-key malloc -eva-warn-key malloc:weak=feedback -eva-no-alloc-returns-null
MACRO: EVA_CONFIG @EVA_OPTIONS@ -machdep x86_32
MACRO: EVA_TEST -eva @EVA_CONFIG@ -out -input -deps
OPT: @EVA_TEST@
MACRO: EVA_OPTIONS @EVA_OPTIONS@ -eva-msg-key malloc -eva-warn-key malloc:weak=feedback -eva-no-alloc-returns-null MACRO: EVA_OPTIONS @EVA_OPTIONS@ -eva-msg-key malloc -eva-warn-key malloc:weak=feedback -eva-no-alloc-returns-null
MACRO: EVA_CONFIG @EVA_OPTIONS@ -machdep x86_32
MACRO: EVA_TEST -eva @EVA_CONFIG@ -out -input -deps
OPT: @EVA_TEST@
MACRO: EVA_MAIN_PLUGINS eva,scope MACRO: EVA_MAIN_PLUGINS eva,scope
MACRO: EVA_PLUGINS from,inout @EVA_MAIN_PLUGINS@ variadic MACRO: EVA_PLUGINS from,inout @EVA_MAIN_PLUGINS@ variadic
MACRO: EVA_OPTIONS -eva-show-progress -eva-msg-key=-summary -eva-auto-loop-unroll 0
MACRO: EVA_CONFIG @EVA_OPTIONS@ -machdep x86_32 MACRO: EVA_CONFIG @EVA_OPTIONS@ -machdep x86_32
MACRO: EVA_TEST -eva @EVA_CONFIG@ -out -input -deps MACRO: EVA_TEST -eva @EVA_CONFIG@ -out -input -deps
...@@ -9,3 +8,6 @@ MACRO: RTE_TEST -rte -no-warn-invalid-pointer ...@@ -9,3 +8,6 @@ MACRO: RTE_TEST -rte -no-warn-invalid-pointer
PLUGIN: @EVA_PLUGINS@ PLUGIN: @EVA_PLUGINS@
OPT: @EVA_TEST@ OPT: @EVA_TEST@
# Late declaration to allow redefinition of EVA_OPTIONS in subsidiary test_config files
MACRO: EVA_OPTIONS -eva-show-progress -eva-msg-key=-summary -eva-auto-loop-unroll 0
MACRO: EVA_MAIN_PLUGINS eva,scope MACRO: EVA_MAIN_PLUGINS eva,scope
MACRO: EVA_PLUGINS from,inout @EVA_MAIN_PLUGINS@ variadic MACRO: EVA_PLUGINS from,inout @EVA_MAIN_PLUGINS@ variadic
MACRO: EVA_OPTIONS -eva-show-progress -eva-msg-key=-summary -eva-auto-loop-unroll 0 -eva-domains apron-octagon -eva-warn-key experimental=inactive
MACRO: EVA_CONFIG @EVA_OPTIONS@ -machdep x86_32 MACRO: EVA_CONFIG @EVA_OPTIONS@ -machdep x86_32
MACRO: EVA_TEST -eva @EVA_CONFIG@ -out -input -deps MACRO: EVA_TEST -eva @EVA_CONFIG@ -out -input -deps
...@@ -11,3 +10,6 @@ FILTER: diff --new-file @PTEST_DIR@/oracle/@PTEST_ORACLE@ - ...@@ -11,3 +10,6 @@ FILTER: diff --new-file @PTEST_DIR@/oracle/@PTEST_ORACLE@ -
PLUGIN: @EVA_PLUGINS@ PLUGIN: @EVA_PLUGINS@
OPT: @EVA_TEST@ OPT: @EVA_TEST@
# Late declaration to allow redefinition of EVA_OPTIONS in subsidiary test_config_xxx files
MACRO: EVA_OPTIONS -eva-show-progress -eva-msg-key=-summary -eva-auto-loop-unroll 0 -eva-domains apron-octagon -eva-warn-key experimental=inactive
MACRO: EVA_MAIN_PLUGINS eva,scope MACRO: EVA_MAIN_PLUGINS eva,scope
MACRO: EVA_PLUGINS from,inout @EVA_MAIN_PLUGINS@ variadic MACRO: EVA_PLUGINS from,inout @EVA_MAIN_PLUGINS@ variadic
MACRO: EVA_OPTIONS -eva-show-progress -eva-msg-key=-summary -eva-auto-loop-unroll 0 -eva-domains bitwise
MACRO: EVA_CONFIG @EVA_OPTIONS@ -machdep x86_32 MACRO: EVA_CONFIG @EVA_OPTIONS@ -machdep x86_32
MACRO: EVA_TEST -eva @EVA_CONFIG@ -out -input -deps MACRO: EVA_TEST -eva @EVA_CONFIG@ -out -input -deps
...@@ -11,3 +10,6 @@ FILTER: diff --new-file @PTEST_DIR@/oracle/@PTEST_ORACLE@ - ...@@ -11,3 +10,6 @@ FILTER: diff --new-file @PTEST_DIR@/oracle/@PTEST_ORACLE@ -
PLUGIN: @EVA_PLUGINS@ PLUGIN: @EVA_PLUGINS@
OPT: @EVA_TEST@ OPT: @EVA_TEST@
# Late declaration to allow redefinition of EVA_OPTIONS in subsidiary test_config_xxx files
MACRO: EVA_OPTIONS -eva-show-progress -eva-msg-key=-summary -eva-auto-loop-unroll 0 -eva-domains bitwise
MACRO: EVA_MAIN_PLUGINS eva,scope MACRO: EVA_MAIN_PLUGINS eva,scope
MACRO: EVA_PLUGINS from,inout @EVA_MAIN_PLUGINS@ variadic MACRO: EVA_PLUGINS from,inout @EVA_MAIN_PLUGINS@ variadic
MACRO: EVA_OPTIONS -eva-show-progress -eva-msg-key=-summary -eva-auto-loop-unroll 0 -eva-domains equality
MACRO: EVA_CONFIG @EVA_OPTIONS@ -machdep x86_32 MACRO: EVA_CONFIG @EVA_OPTIONS@ -machdep x86_32
MACRO: EVA_TEST -eva @EVA_CONFIG@ -out -input -deps MACRO: EVA_TEST -eva @EVA_CONFIG@ -out -input -deps
...@@ -11,3 +10,6 @@ FILTER: diff --new-file @PTEST_DIR@/oracle/@PTEST_ORACLE@ - ...@@ -11,3 +10,6 @@ FILTER: diff --new-file @PTEST_DIR@/oracle/@PTEST_ORACLE@ -
PLUGIN: @EVA_PLUGINS@ PLUGIN: @EVA_PLUGINS@
OPT: @EVA_TEST@ OPT: @EVA_TEST@
# Late declaration to allow redefinition of EVA_OPTIONS in subsidiary test_config_xxx files
MACRO: EVA_OPTIONS -eva-show-progress -eva-msg-key=-summary -eva-auto-loop-unroll 0 -eva-domains equality
MACRO: EVA_MAIN_PLUGINS eva,scope MACRO: EVA_MAIN_PLUGINS eva,scope
MACRO: EVA_PLUGINS from,inout @EVA_MAIN_PLUGINS@ variadic MACRO: EVA_PLUGINS from,inout @EVA_MAIN_PLUGINS@ variadic
MACRO: EVA_OPTIONS -eva-show-progress -eva-msg-key=-summary -eva-auto-loop-unroll 0 -eva-domains gauges
MACRO: EVA_CONFIG @EVA_OPTIONS@ -machdep x86_32 MACRO: EVA_CONFIG @EVA_OPTIONS@ -machdep x86_32
MACRO: EVA_TEST -eva @EVA_CONFIG@ -out -input -deps MACRO: EVA_TEST -eva @EVA_CONFIG@ -out -input -deps
...@@ -11,3 +10,6 @@ FILTER: diff --new-file @PTEST_DIR@/oracle/@PTEST_ORACLE@ - ...@@ -11,3 +10,6 @@ FILTER: diff --new-file @PTEST_DIR@/oracle/@PTEST_ORACLE@ -
PLUGIN: @EVA_PLUGINS@ PLUGIN: @EVA_PLUGINS@
OPT: @EVA_TEST@ OPT: @EVA_TEST@
# Late declaration to allow redefinition of EVA_OPTIONS in subsidiary test_config_xxx files
MACRO: EVA_OPTIONS -eva-show-progress -eva-msg-key=-summary -eva-auto-loop-unroll 0 -eva-domains gauges
MACRO: EVA_MAIN_PLUGINS eva,scope MACRO: EVA_MAIN_PLUGINS eva,scope
MACRO: EVA_PLUGINS from,inout @EVA_MAIN_PLUGINS@ variadic MACRO: EVA_PLUGINS from,inout @EVA_MAIN_PLUGINS@ variadic
MACRO: EVA_OPTIONS -eva-show-progress -eva-msg-key=-summary -eva-domains octagon
MACRO: EVA_CONFIG @EVA_OPTIONS@ -machdep x86_32 MACRO: EVA_CONFIG @EVA_OPTIONS@ -machdep x86_32
MACRO: EVA_TEST -eva @EVA_CONFIG@ -out -input -deps MACRO: EVA_TEST -eva @EVA_CONFIG@ -out -input -deps
...@@ -11,3 +10,6 @@ FILTER: diff --new-file @PTEST_DIR@/oracle/@PTEST_ORACLE@ - ...@@ -11,3 +10,6 @@ FILTER: diff --new-file @PTEST_DIR@/oracle/@PTEST_ORACLE@ -
PLUGIN: @EVA_PLUGINS@ PLUGIN: @EVA_PLUGINS@
OPT: @EVA_TEST@ OPT: @EVA_TEST@
# Late declaration to allow redefinition of EVA_OPTIONS in subsidiary test_config_xxx files
MACRO: EVA_OPTIONS -eva-show-progress -eva-msg-key=-summary -eva-domains octagon
MACRO: EVA_MAIN_PLUGINS eva,scope MACRO: EVA_MAIN_PLUGINS eva,scope
MACRO: EVA_PLUGINS from,inout @EVA_MAIN_PLUGINS@ variadic MACRO: EVA_PLUGINS from,inout @EVA_MAIN_PLUGINS@ variadic
MACRO: EVA_OPTIONS -eva-show-progress -eva-msg-key=-summary -eva-auto-loop-unroll 0 -eva-domains symbolic-locations
MACRO: EVA_CONFIG @EVA_OPTIONS@ -machdep x86_32 MACRO: EVA_CONFIG @EVA_OPTIONS@ -machdep x86_32
MACRO: EVA_TEST -eva @EVA_CONFIG@ -out -input -deps MACRO: EVA_TEST -eva @EVA_CONFIG@ -out -input -deps
...@@ -11,3 +10,6 @@ FILTER: diff --new-file @PTEST_DIR@/oracle/@PTEST_ORACLE@ - ...@@ -11,3 +10,6 @@ FILTER: diff --new-file @PTEST_DIR@/oracle/@PTEST_ORACLE@ -
PLUGIN: @EVA_PLUGINS@ PLUGIN: @EVA_PLUGINS@
OPT: @EVA_TEST@ OPT: @EVA_TEST@
# Late declaration to allow redefinition of EVA_OPTIONS in subsidiary test_config_xxx files
MACRO: EVA_OPTIONS -eva-show-progress -eva-msg-key=-summary -eva-auto-loop-unroll 0 -eva-domains symbolic-locations
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