From 0af6fcbcc53e61b690262e744219667b91ba7acb Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Thu, 20 Jan 2022 12:39:55 +0100
Subject: [PATCH] [wp] Fix test oracle

---
 src/plugins/wp/tests/wp_plugin/oracle_qualif/removed.res.oracle | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plugins/wp/tests/wp_plugin/oracle_qualif/removed.res.oracle b/src/plugins/wp/tests/wp_plugin/oracle_qualif/removed.res.oracle
index cfe964c22f0..fea81fbc446 100644
--- a/src/plugins/wp/tests/wp_plugin/oracle_qualif/removed.res.oracle
+++ b/src/plugins/wp/tests/wp_plugin/oracle_qualif/removed.res.oracle
@@ -11,7 +11,6 @@
 [eva:final-states] Values at end of function main:
   __retres ∈ [-2147483647..2147483647]
 [wp] Running WP plugin...
-[wp] Warning: Missing RTE guards
 [wp] 1 goal scheduled
 [wp] [Alt-Ergo] Goal typed_main_assert_Eva_signed_overflow : Unsuccess
 [wp] Proved goals:    0 / 1
@@ -21,5 +20,6 @@
   main                      -        -        1       0.0%
 ------------------------------------------------------------
 [wp] Running WP plugin...
+[wp] Warning: Missing RTE guards
 [wp] Warning: No goal generated
 ------------------------------------------------------------
-- 
GitLab