Skip to content
Snippets Groups Projects
Commit 3122818e authored by Loïc Correnson's avatar Loïc Correnson Committed by Virgile Prevosto
Browse files

Update issue27-pred.res.oracle

parent 5e4d6248
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 @ 3122818e
......@@ -4,8 +4,8 @@ Now output intermediate result
[wp] Running WP plugin...
[wp] Warning: Missing RTE guards
[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_2 : Valid
[wp] Proved goals: 2 / 2
Qed: 0
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