diff --git a/src/plugins/wp/tests/wp_acsl/boolean.i b/src/plugins/wp/tests/wp_acsl/boolean.i
index 2e4b06eda93deec0e268506541ae44afd9509e08..f8e7f458b4f55d82f878bfed3a4a83f71dd3352e 100644
--- a/src/plugins/wp/tests/wp_acsl/boolean.i
+++ b/src/plugins/wp/tests/wp_acsl/boolean.i
@@ -1,5 +1,5 @@
 /* run.config
-OPT: -wp-gen -wp-prover why3
+OPT: -wp-gen -wp-prover why3 -wp-msg-key success-only
 */
 
  /*@