From fe96b0e2f94d551cb9710f1d07d27bfe6ebdf2e7 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Wed, 22 Jun 2022 15:03:35 +0200
Subject: [PATCH] [Tests] disable tests related to Apron

---
 src/plugins/wp/tests/ptests_config | 6 ++++--
 tests/ptests_config                | 4 +++-
 2 files changed, 7 insertions(+), 3 deletions(-)

diff --git a/src/plugins/wp/tests/ptests_config b/src/plugins/wp/tests/ptests_config
index 78e1864b185..7b2a6cab7ba 100644
--- a/src/plugins/wp/tests/ptests_config
+++ b/src/plugins/wp/tests/ptests_config
@@ -1,6 +1,8 @@
-# todo: to fixe
 DEFAULT_SUITES= wp wp_acsl wp_plugin wp_bts wp_store wp_hoare
 DEFAULT_SUITES= wp_typed wp_usage wp_gallery wp_manual wp_region wp_tip
 
 qualif_SUITES= wp wp_acsl wp_plugin wp_bts wp_store wp_hoare
-qualif_SUITES= wp_typed wp_usage wp_gallery wp_manual wp_region wp_tip why3
+qualif_SUITES= wp_typed wp_usage wp_gallery wp_manual wp_region wp_tip
+
+# todo: to fixe
+IGNORE= qualif_SUITES= why3
diff --git a/tests/ptests_config b/tests/ptests_config
index 2f818c2e73f..b95c47cbb96 100644
--- a/tests/ptests_config
+++ b/tests/ptests_config
@@ -14,7 +14,9 @@ DEFAULT_SUITES= rte rte_manual scope slicing sparecode
 
 ### Tests of EVA
 
-DEFAULT_SUITES= builtins float idct value value/traces value/numerors
+DEFAULT_SUITES= builtins float idct value value/traces
+# todo: to fixe
+IGNORE= DEFAULT_SUITES= value/numerors
 
 ### Tests of EVA domains
 apron_SUITES =
-- 
GitLab