From a85ed511c672eb77fd67ec1533e1426f51c7f77a Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 10 Sep 2020 13:34:56 +0200
Subject: [PATCH] [tests] update to new WP msg keys

---
 tests/spec/generalized_check.i                   | 2 +-
 tests/spec/oracle/generalized_check.0.res.oracle | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/tests/spec/generalized_check.i b/tests/spec/generalized_check.i
index 7f7c9748c53..66c93e7d3a8 100644
--- a/tests/spec/generalized_check.i
+++ b/tests/spec/generalized_check.i
@@ -1,5 +1,5 @@
 /* run.config
-OPT: -wp -wp-prover qed -wp-msg-key no-cache-info,no-time-info
+OPT: -wp -wp-prover qed -wp-msg-key shell
 OPT: -eva -eva-use-spec f
 OPT: -print
 */
diff --git a/tests/spec/oracle/generalized_check.0.res.oracle b/tests/spec/oracle/generalized_check.0.res.oracle
index 7f7128dfa8d..391634ac903 100644
--- a/tests/spec/oracle/generalized_check.0.res.oracle
+++ b/tests/spec/oracle/generalized_check.0.res.oracle
@@ -1,3 +1,4 @@
+# frama-c -wp [...]
 [kernel] Parsing tests/spec/generalized_check.i (no preprocessing)
 [wp] Running WP plugin...
 [wp] tests/spec/generalized_check.i:30: Warning: 
-- 
GitLab