diff --git a/tests/bugs/test_config b/tests/bugs/test_config
index c982a3131e6db5e9ee972d17e4270172f5784cb0..1c8641d6a624bf12a3a0c335883c5239bc61cb34 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 69db388327b82bd4be7b8762ba6e32eb5d72576c..44cb11432fd7fb1db4f0ca4785e5ed05a28e8757 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; }
 };
-