Skip to content
Snippets Groups Projects
Commit f8c58645 authored by Allan Blanchard's avatar Allan Blanchard Committed by Virgile Prevosto
Browse files

Fix test related to commit 1e3d8db3

parent 1ee0278c
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
tests/bugs/oracle/issue27-pred.res.oracle
+ 1
− 1
View file @ f8c58645
...@@ -4,8 +4,8 @@ Now output intermediate result ...@@ -4,8 +4,8 @@ Now output intermediate result
[wp] Running WP plugin... [wp] Running WP plugin...
[wp] Warning: Missing RTE guards [wp] Warning: Missing RTE guards
[wp] 2 goals scheduled [wp] 2 goals scheduled
[wp] [Alt-Ergo] Goal typed_Z3posi_ensures_2 : Valid
[wp] [Alt-Ergo] Goal typed_Z3posi_ensures : Valid [wp] [Alt-Ergo] Goal typed_Z3posi_ensures : Valid
[wp] [Alt-Ergo] Goal typed_Z3posi_ensures_2 : Valid
[wp] Proved goals: 2 / 2 [wp] Proved goals: 2 / 2
Qed: 0 Qed: 0
Alt-Ergo: 2 Alt-Ergo: 2
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment