diff --git a/src/plugins/wp/tests/ptests_config b/src/plugins/wp/tests/ptests_config index 7b2a6cab7bae1493cd292589e34b8b9ba5fe417a..d53499bf328b942033d55884fabd3a78cb101437 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