From 51dd85031136e207709d6dc32cc02d4b74384ef9 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Wed, 5 Aug 2020 16:38:19 +0200
Subject: [PATCH] [tests] update options for tests involving WP
---
tests/bugs/test_config | 2 +-
tests/specs/wp_empty_struct.cpp | 3 +--
2 files changed, 2 insertions(+), 3 deletions(-)
diff --git a/tests/bugs/test_config b/tests/bugs/test_config
index c982a31..1c8641d 100644
--- a/tests/bugs/test_config
+++ b/tests/bugs/test_config
@@ -1,4 +1,4 @@
FILEREG:.*\.\(cc\|cpp\|ii\)$
MACRO: CXX -machdep=x86_64 -cxx-c++stdlib-path share/libc++ -cxx-clang-command="bin/framaCIRGen -target x86_64-linux-gnu -D__FC_MACHDEP_X86_64"
-OPT:-print -wp -wp-msg-key="no-time-info,no-step-info" -wp-cache none @CXX@
+OPT:-print -wp -wp-msg-key shell -wp-cache none @CXX@
FILTER:/bin/sed -e '/^#[^\n]*/d' -e "s|${FRAMAC_SHARE}|FRAMAC_SHARE|g" -e 's/Alt-Ergo [0-9.]\+/Alt-Ergo/' -e "s|$(pwd)/||g"
diff --git a/tests/specs/wp_empty_struct.cpp b/tests/specs/wp_empty_struct.cpp
index 69db388..44cb114 100644
--- a/tests/specs/wp_empty_struct.cpp
+++ b/tests/specs/wp_empty_struct.cpp
@@ -1,9 +1,8 @@
/* run.config
-OPT: -wp -wp-msg-key="no-time-info,no-step-info" -wp-cache none @CXX@
+OPT: -wp -wp-msg-key shell -wp-cache none @CXX@
*/
class Point2
{
//@ ensures \result == *this;
Point2& foo(void) { return *this; }
};
-
--
GitLab