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

[wp-qualif] update oracle

parent 3efffa30
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/wp/tests/wp_bts/oracle_qualif/issue_143.3.res.oracle
+ 2
− 3
View file @ 34787ee2
...@@ -4,10 +4,9 @@ ...@@ -4,10 +4,9 @@
[wp] Warning: native support for coq is deprecated, use tip instead [wp] Warning: native support for coq is deprecated, use tip instead
[wp] 2 goals scheduled [wp] 2 goals scheduled
[wp] [Coq (native)] Goal typed_lemma_ok_because_consistent : Failed [wp] [Coq (native)] Goal typed_lemma_ok_because_consistent : Failed
Command './tests/inexistant-prover' not found Permission denied (./tests/inexistant-prover)
[wp] [Coq] Goal typed_lemma_ok_because_inconsistent : Default tactic
[wp] [Coq (native)] Goal typed_lemma_ok_because_inconsistent : Failed [wp] [Coq (native)] Goal typed_lemma_ok_because_inconsistent : Failed
Command './tests/inexistant-prover' not found Permission denied (./tests/inexistant-prover)
[wp] Proved goals: 0 / 2 [wp] Proved goals: 0 / 2
Coq (native): 0 (failed: 2) Coq (native): 0 (failed: 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