From 151d43ed20bc33f4b8eda118664473c79d7729ad Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Fri, 20 Dec 2019 09:57:06 +0100
Subject: [PATCH] [tests] don't display timings of provers in oracles

---
 src/plugins/wp/tests/wp_acsl/boolean.i | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plugins/wp/tests/wp_acsl/boolean.i b/src/plugins/wp/tests/wp_acsl/boolean.i
index 2e4b06eda93..f8e7f458b4f 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
 */
 
  /*@
-- 
GitLab