Skip to content
Snippets Groups Projects
Commit 22acbd37 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[tests] update oracle now that WP uses cache

parent 67fac618
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
tests/bugs/oracle/issue24.res.oracle
+ 4
− 4
View file @ 22acbd37
......@@ -6,10 +6,10 @@ Now output intermediate result
[wp] 6 goals scheduled
[wp] [Qed] Goal typed_Z1m_assert_4 : Valid
[wp] [Qed] Goal typed_Z1m_assert_5 : Valid
[wp] [Alt-Ergo] Goal typed_Z1m_assert_3 : Valid (unqualified)
[wp] [Alt-Ergo] Goal typed_Z1m_assert_2 : Valid (unqualified)
[wp] [Alt-Ergo] Goal typed_Z1m_assert : Valid (unqualified)
[wp] [Alt-Ergo] Goal typed_Z1m_assert_6 : Valid (unqualified)
[wp] [Alt-Ergo] Goal typed_Z1m_assert_3 : Valid
[wp] [Alt-Ergo] Goal typed_Z1m_assert_2 : Valid
[wp] [Alt-Ergo] Goal typed_Z1m_assert : Valid
[wp] [Alt-Ergo] Goal typed_Z1m_assert_6 : Valid
[wp] Proved goals: 6 / 6
Qed: 2
Alt-Ergo: 4
......
tests/bugs/oracle/issue27-pred.res.oracle
+ 1
− 1
View file @ 22acbd37
......@@ -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 (unqualified)
[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