diff --git a/src/plugins/wp/tests/wp_plugin/combined.c b/src/plugins/wp/tests/wp_plugin/combined.c index 33a5d1e193a283f4649865cca1511645456121ac..3e0939d7e6c26c905132d3df106f33df59cd3f6d 100644 --- a/src/plugins/wp/tests/wp_plugin/combined.c +++ b/src/plugins/wp/tests/wp_plugin/combined.c @@ -1,10 +1,10 @@ -/* run.config_qualif +/* run.config_qualif DONTRUN: [PB] temporary removed since a difference has to be validated. */ /* run.config_qualif - EXECNOW: @PTEST_DIR@/@PTEST_NAME@.cmxs - OPT: -wp-par 1 -load-module @PTEST_DIR@/@PTEST_NAME@ + MODULE: @PTEST_DIR@/@PTEST_NAME@ + OPT: -wp-par 1 */ /* ZD : this should not be here such as it cannot be tested by all frama-c