From 1448f70edf0e3bbc7daf61b6ad3b9279c41dc9ac Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Fri, 11 Mar 2022 10:16:56 +0100
Subject: [PATCH] [WP] fixes a directive command in a test:
tests/wp_plugin/combined.c
---
src/plugins/wp/tests/wp_plugin/combined.c | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/plugins/wp/tests/wp_plugin/combined.c b/src/plugins/wp/tests/wp_plugin/combined.c
index 33a5d1e193a..3e0939d7e6c 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
--
GitLab