Une MAJ de sécurité est nécessaire sur notre version actuelle. Elle sera effectuée lundi 02/08 entre 12h30 et 13h. L'interruption de service devrait durer quelques minutes (probablement moins de 5 minutes).

Commit ec559214 authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files

Delete bench failures.

Replaying programs/vacid_0_binary_heaps/proofs ... FAILED (ret code=1): 37/38 (replay failed)
   goal 'WP_parameter heapSort.10', prover 'Eprover (1.4)': Timeout (9.97s) instead of Valid (2.93s) (timelimit=10)
   goal 'Is_heap_when_no_element', prover 'Spass (3.7)': Timeout (13.00s) instead of Valid (5.61s) (timelimit=13)
parent 7a8f4458
This source diff could not be displayed because it is too large. You can view the blob instead.
Markdown is supported
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