Commit 1ae79454 authored by MARCHE Claude's avatar MARCHE Claude

update sessions

parent e72ed068
......@@ -507,7 +507,7 @@
name="WP_parameter left"
locfile="../verifythis_fm2012_treedel.mlw"
loclnum="102" loccnumb="12" loccnume="16"
expl="VC for left"
expl="unreachable point"
sum="c270c450ae0472d0dac3e2278f02ab88"
proved="true"
expanded="false"
......@@ -591,7 +591,7 @@
name="WP_parameter right"
locfile="../verifythis_fm2012_treedel.mlw"
loclnum="107" loccnumb="12" loccnume="17"
expl="VC for right"
expl="unreachable point"
sum="aad404ea5b9e844f3226612924a1780e"
proved="true"
expanded="false"
......@@ -1032,7 +1032,7 @@
name="WP_parameter search_tree_delete_min.4"
locfile="../verifythis_fm2012_treedel.mlw"
loclnum="121" loccnumb="6" loccnume="28"
expl="4."
expl="4. unreachable point"
sum="b11993328606adba30026ea5008176b2"
proved="true"
expanded="false"
......@@ -3181,10 +3181,10 @@
<proof
prover="4"
timelimit="60"
memlimit="1000"
memlimit="4000"
obsolete="false"
archived="false">
<result status="timeout" time="56.46"/>
<result status="timeout" time="60.22"/>
</proof>
<proof
prover="7"
......
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