Skip to content
Snippets Groups Projects
Commit bcea191f authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[wp] Fix clear test DONTRUN

parent 81d70966
No related branches found
No related tags found
No related merge requests found
......@@ -2,7 +2,7 @@
OPT: -wp-par 1 -wp-no-print -wp-prover qed,tip -wp-msg-key script -wp-session @PTEST_DIR@/oracle/@PTEST_NAME@.session
*/
/* run.config_qualif
DONT_RUN:
DONTRUN:
*/
/*@ axiomatic X {
......
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