diff --git a/src/plugins/wp/tests/ptests_config b/src/plugins/wp/tests/ptests_config
index 78e1864b1857ee8ae09b9b466eb254abaea3d541..7b2a6cab7bae1493cd292589e34b8b9ba5fe417a 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 2f818c2e73f33d48a566e3ae2a0bb11169529a92..b95c47cbb961114f1938db43b40163352241936c 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 =