Skip to content
Snippets Groups Projects
Commit 1448f70e authored by Patrick Baudin's avatar Patrick Baudin
Browse files

[WP] fixes a directive command in a test: tests/wp_plugin/combined.c

parent e6580171
No related branches found
No related tags found
No related merge requests found
/* run.config_qualif /* run.config_qualif
DONTRUN: [PB] temporary removed since a difference has to be validated. DONTRUN: [PB] temporary removed since a difference has to be validated.
*/ */
/* run.config_qualif /* run.config_qualif
EXECNOW: @PTEST_DIR@/@PTEST_NAME@.cmxs MODULE: @PTEST_DIR@/@PTEST_NAME@
OPT: -wp-par 1 -load-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 /* ZD : this should not be here such as it cannot be tested by all frama-c
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment