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

[wp-qualif] update oracles

parent b73effbd
No related branches found
No related tags found
No related merge requests found
......@@ -4,7 +4,7 @@
[wp] Loading driver 'share/wp.driver'
[wp] Warning: Missing RTE guards
[wp] 17 goals scheduled
[wp] [Alt-Ergo] Goal typed_lemma_C_ko : Unsuccess
[wp] [Alt-Ergo] Goal typed_check_lemma_C_ko : Unsuccess
[wp] [Alt-Ergo] Goal typed_lemma_L_ko : Unsuccess
[wp] [Qed] Goal typed_caller_ensures_R : Valid
[wp] [Alt-Ergo] Goal typed_caller_ensures_R1_ko : Unsuccess
......@@ -13,11 +13,11 @@
[wp] [Qed] Goal typed_caller_assigns_normal_part1 : Valid
[wp] [Qed] Goal typed_caller_assigns_normal_part2 : Valid
[wp] [Qed] Goal typed_caller_call_job_requires_A : Valid
[wp] [Qed] Goal typed_caller_call_job_requires_CA1 : Valid
[wp] [Alt-Ergo] Goal typed_caller_call_job_requires_CA2_ko : Unsuccess
[wp] [Qed] Goal typed_caller_call_job_check_requires_CA1 : Valid
[wp] [Alt-Ergo] Goal typed_caller_call_job_check_requires_CA2_ko : Unsuccess
[wp] [Alt-Ergo] Goal typed_job_ensures_B : Valid
[wp] [Alt-Ergo] Goal typed_job_ensures_CB1 : Valid
[wp] [Alt-Ergo] Goal typed_job_ensures_CB2_ko : Unsuccess
[wp] [Alt-Ergo] Goal typed_job_check_ensures_CB1 : Valid
[wp] [Alt-Ergo] Goal typed_job_check_ensures_CB2_ko : Unsuccess
[wp] [Qed] Goal typed_job_assigns_exit : Valid
[wp] [Qed] Goal typed_job_assigns_normal_part1 : Valid
[wp] [Qed] Goal typed_job_assigns_normal_part2 : Valid
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment