missing Coq proof

parent 1c599a63
......@@ -51,7 +51,7 @@
version="4.3.1"/>
<file
name="../verifythis_fm2012_LRS.mlw"
verified="false"
verified="true"
expanded="true">
<theory
name="LCP"
......@@ -6016,7 +6016,7 @@
name="SuffixArray"
locfile="../verifythis_fm2012_LRS.mlw"
loclnum="327" loccnumb="7" loccnume="18"
verified="false"
verified="true"
expanded="true">
<goal
name="WP_parameter select"
......@@ -6123,17 +6123,17 @@
locfile="../verifythis_fm2012_LRS.mlw"
loclnum="355" loccnumb="6" loccnume="24"
sum="8459e8914a63fdbbfa6847408298f029"
proved="false"
proved="true"
expanded="true"
shape="apermutationaeltsV1alengthV1IapermutationaeltsV0alengthV0Aapermut_allV0V1F">
<proof
prover="6"
timelimit="10"
timelimit="6"
memlimit="1000"
edited="verifythis_fm2012_lcp_SuffixArray_permut_permutation_1.v"
obsolete="false"
archived="false">
<result status="unknown" time="1.10"/>
<result status="valid" time="3.62"/>
</proof>
</goal>
<goal
......
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