From 9d22982512ba66598fce1b69d6b70faf99f49789 Mon Sep 17 00:00:00 2001 From: Patrick Baudin <patrick.baudin@cea.fr> Date: Thu, 15 Oct 2020 09:40:00 +0200 Subject: [PATCH] [Tests] @EVA_CONFIG@ contents the default plugin list for eva --- tests/test_config_apron | 4 ++-- tests/test_config_bitwise | 4 ++-- tests/test_config_equalities | 4 ++-- tests/test_config_gauges | 4 ++-- tests/test_config_octagons | 4 ++-- tests/test_config_symblocs | 4 ++-- 6 files changed, 12 insertions(+), 12 deletions(-) diff --git a/tests/test_config_apron b/tests/test_config_apron index 9756305b89f..bd82f1d4afa 100644 --- a/tests/test_config_apron +++ b/tests/test_config_apron @@ -1,3 +1,3 @@ +MACRO: EVA_CONFIG from inout eva scope 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@ -no-autoload-plugins -load-module from,inout,eva,scope,variadic -OPT: -eva @EVA_CONFIG@ -journal-disable -out -input -deps +OPT: -eva @EVA_OPTIONS@ -journal-disable -out -input -deps diff --git a/tests/test_config_bitwise b/tests/test_config_bitwise index 2de393bf539..39b910be01c 100644 --- a/tests/test_config_bitwise +++ b/tests/test_config_bitwise @@ -1,3 +1,3 @@ +MACRO: EVA_CONFIG from inout eva scope variadic MACRO: EVA_OPTIONS -eva-show-progress -eva-msg-key=-summary -eva-auto-loop-unroll 0 -eva-domains bitwise -MACRO: EVA_CONFIG @EVA_OPTIONS@ -no-autoload-plugins -load-module from,inout,eva,scope,variadic -OPT: -eva @EVA_CONFIG@ -journal-disable -out -input -deps +OPT: -eva @EVA_OPTIONS@ -journal-disable -out -input -deps diff --git a/tests/test_config_equalities b/tests/test_config_equalities index 2758bbcdc4c..c14b23435fe 100644 --- a/tests/test_config_equalities +++ b/tests/test_config_equalities @@ -1,3 +1,3 @@ +MACRO: EVA_CONFIG from inout eva scope variadic MACRO: EVA_OPTIONS -eva-show-progress -eva-msg-key=-summary -eva-auto-loop-unroll 0 -eva-domains equality -MACRO: EVA_CONFIG @EVA_OPTIONS@ -no-autoload-plugins -load-module from,inout,eva,scope,variadic -OPT: -eva @EVA_CONFIG@ -journal-disable -out -input -deps +OPT: -eva @EVA_OPTIONS@ -journal-disable -out -input -deps diff --git a/tests/test_config_gauges b/tests/test_config_gauges index 9c8f4771245..640f30d644f 100644 --- a/tests/test_config_gauges +++ b/tests/test_config_gauges @@ -1,3 +1,3 @@ +MACRO: EVA_CONFIG from inout eva scope variadic MACRO: EVA_OPTIONS -eva-show-progress -eva-msg-key=-summary -eva-auto-loop-unroll 0 -eva-domains gauges -MACRO: EVA_CONFIG @EVA_OPTIONS@ -no-autoload-plugins -load-module from,inout,eva,scope,variadic -OPT: -eva @EVA_CONFIG@ -journal-disable -out -input -deps +OPT: -eva @EVA_OPTIONS@ -journal-disable -out -input -deps diff --git a/tests/test_config_octagons b/tests/test_config_octagons index 27c9bcc8171..9b747a29545 100644 --- a/tests/test_config_octagons +++ b/tests/test_config_octagons @@ -1,3 +1,3 @@ +MACRO: EVA_CONFIG from inout eva scope variadic MACRO: EVA_OPTIONS -eva-show-progress -eva-msg-key=-summary -eva-domains octagon -MACRO: EVA_CONFIG @EVA_OPTIONS@ -no-autoload-plugins -load-module from,inout,eva,scope,variadic -OPT: -eva @EVA_CONFIG@ -journal-disable -out -input -deps +OPT: -eva @EVA_OPTIONS@ -journal-disable -out -input -deps diff --git a/tests/test_config_symblocs b/tests/test_config_symblocs index c90d71b9e63..c16dae07e26 100644 --- a/tests/test_config_symblocs +++ b/tests/test_config_symblocs @@ -1,3 +1,3 @@ +MACRO: EVA_CONFIG from inout eva scope 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@ -no-autoload-plugins -load-module from,inout,eva,scope,variadic -OPT: -eva @EVA_CONFIG@ -journal-disable -out -input -deps +OPT: -eva @EVA_OPTIONS@ -journal-disable -out -input -deps -- GitLab