From f99600ff252e5fe264feb75d49b8411e4aa5839c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Mon, 27 Jun 2022 10:33:35 +0200
Subject: [PATCH] [WP] add wp/why3 tests

---
 src/plugins/wp/tests/ptests_config | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/plugins/wp/tests/ptests_config b/src/plugins/wp/tests/ptests_config
index 7b2a6cab7ba..d53499bf328 100644
--- a/src/plugins/wp/tests/ptests_config
+++ b/src/plugins/wp/tests/ptests_config
@@ -3,6 +3,4 @@ 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
-
-# todo: to fixe
-IGNORE= qualif_SUITES= why3
+qualif_SUITES= why3
-- 
GitLab