why3session.xml 925 Bytes
Newer Older
1 2 3 4
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE why3session PUBLIC "-//Why3//proof session v5//EN"
"http://why3.lri.fr/why3session.dtd">
<why3session shape_version="4">
5
<prover id="2" name="Alt-Ergo" version="1.30" timelimit="5" steplimit="0" memlimit="1000"/>
6 7 8
<file name="../swap.mlw" proved="true">
<theory name="Swap" proved="true" sum="31dd0e454abcc8d0c446f24eb3f7c4ad">
 <goal name="VC swap" expl="VC for swap" proved="true">
9
 <proof prover="2"><result status="valid" time="0.00" steps="4"/></proof>
10 11
 </goal>
</theory>
12 13 14
<theory name="SwapInt32" proved="true" sum="4a80606ec224f7ae51bcf34942a25e80">
 <goal name="VC swap" expl="VC for swap" proved="true">
 <proof prover="2"><result status="valid" time="0.01" steps="48"/></proof>
15
 </goal>
16 17
 <goal name="VC swap_ref" expl="VC for swap_ref" proved="true">
 <proof prover="2"><result status="valid" time="0.01" steps="46"/></proof>
18 19
 </goal>
</theory>
20 21
</file>
</why3session>