Remove Yices proof attempt from heapSort.2.

7f396cdc · Guillaume Melquiond · f16f3e35 · 7f396cdc
Commit 7f396cdc authored Mar 10, 2013 by Guillaume Melquiond
Hide whitespace changes
Inline Side-by-side

Showing with 0 additions and 8 deletions

examples/vacid_0_binary_heaps/proofs/why3session.xml examples/vacid_0_binary_heaps/proofs/why3session.xml +0 -8

No files found.
--- a/examples/vacid_0_binary_heaps/proofs/why3session.xml
+++ b/examples/vacid_0_binary_heaps/proofs/why3session.xml
@@ -4994,14 +4994,6 @@
       archived="false">
       <result status="valid" time="0.03"/>
      </proof>
-      <proof
-       prover="10"
-       timelimit="10"
-       memlimit="0"
-       obsolete="false"
-       archived="false">
-       <result status="valid" time="0.50"/>
-      </proof>
      <proof
       prover="11"
       timelimit="3"