[tests] don't display timings of provers in oracles

151d43ed · Virgile Prevosto · 0668d534 · 151d43ed
Commit 151d43ed authored 5 years ago by Virgile Prevosto
--- a/src/plugins/wp/tests/wp_acsl/boolean.i
+++ b/src/plugins/wp/tests/wp_acsl/boolean.i
 /* run.config
-OPT: -wp-gen -wp-prover why3
+OPT: -wp-gen -wp-prover why3 -wp-msg-key success-only
 */

 /*@