[report] update wp oracles

ff6d0d73 · Loïc Correnson · Allan Blanchard · 5bb51b47 · ff6d0d73 · ff6d0d73
Commit ff6d0d73 authored 2 years ago by Loïc Correnson Committed by Allan Blanchard 2 years ago
--- a/src/plugins/report/tests/report/oracle/classify.0.res.oracle
+++ b/src/plugins/report/tests/report/oracle/classify.0.res.oracle
@@ -5,8 +5,8 @@
 [wp] Running WP plugin...
 [wp] Warning: Missing RTE guards
 [wp] 2 goals scheduled
-[wp] [Qed] Goal typed_f_assigns : Valid
-[wp] [Qed] Goal typed_f_ensures : Valid
+[wp] [Valid] typed_f_assigns (Qed)
+[wp] [Valid] typed_f_ensures (Qed)
 [wp] Proved goals:    2 / 2
  Qed:             2
 [report] Classification

--- a/src/plugins/report/tests/report/oracle/classify.1.res.oracle
+++ b/src/plugins/report/tests/report/oracle/classify.1.res.oracle
@@ -6,8 +6,8 @@
 [wp] Running WP plugin...
 [wp] Warning: Missing RTE guards
 [wp] 2 goals scheduled
-[wp] [Qed] Goal typed_f_assigns : Valid
-[wp] [Qed] Goal typed_f_ensures : Valid
+[wp] [Valid] typed_f_assigns (Qed)
+[wp] [Valid] typed_f_ensures (Qed)
 [wp] Proved goals:    2 / 2
  Qed:             2
 [report] Classification

--- a/src/plugins/report/tests/report/oracle/classify.2.res.oracle
+++ b/src/plugins/report/tests/report/oracle/classify.2.res.oracle
@@ -6,8 +6,8 @@
 [wp] Running WP plugin...
 [wp] Warning: Missing RTE guards
 [wp] 2 goals scheduled
-[wp] [Qed] Goal typed_f_assigns : Valid
-[wp] [Qed] Goal typed_f_ensures : Valid
+[wp] [Valid] typed_f_assigns (Qed)
+[wp] [Valid] typed_f_ensures (Qed)
 [wp] Proved goals:    2 / 2
  Qed:             2
 [report] Classification

--- a/src/plugins/report/tests/report/oracle/classify.3.res.oracle
+++ b/src/plugins/report/tests/report/oracle/classify.3.res.oracle
@@ -7,8 +7,8 @@
 [wp] Running WP plugin...
 [wp] Warning: Missing RTE guards
 [wp] 2 goals scheduled
-[wp] [Qed] Goal typed_f_assigns : Valid
-[wp] [Qed] Goal typed_f_ensures : Valid
+[wp] [Valid] typed_f_assigns (Qed)
+[wp] [Valid] typed_f_ensures (Qed)
 [wp] Proved goals:    2 / 2
  Qed:             2
 [report] Classification

--- a/src/plugins/report/tests/report/oracle/classify.4.res.oracle
+++ b/src/plugins/report/tests/report/oracle/classify.4.res.oracle
@@ -7,8 +7,8 @@
 [wp] Running WP plugin...
 [wp] Warning: Missing RTE guards
 [wp] 2 goals scheduled
-[wp] [Qed] Goal typed_f_assigns : Valid
-[wp] [Qed] Goal typed_f_ensures : Valid
+[wp] [Valid] typed_f_assigns (Qed)
+[wp] [Valid] typed_f_ensures (Qed)
 [wp] Proved goals:    2 / 2
  Qed:             2
 [report] Classification