why3session.xml 847 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
<file name="../swap.mlw" proved="true">
7
<theory name="Swap" proved="true">
8
 <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
<theory name="SwapInt32" proved="true">
13 14
 <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>