why3session.xml 848 Bytes
Newer Older
1 2 3
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE why3session PUBLIC "-//Why3//proof session v5//EN"
"http://why3.lri.fr/why3session.dtd">
4
<why3session shape_version="5">
5
<prover id="0" name="Alt-Ergo" version="2.0.0" 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="0"><result status="valid" time="0.00" steps="4"/></proof>
10 11
 </goal>
</theory>
12
<theory name="SwapInt32" proved="true">
13
 <goal name="VC swap" expl="VC for swap" proved="true">
14
 <proof prover="0"><result status="valid" time="0.01" steps="52"/></proof>
15
 </goal>
16
 <goal name="VC swap_ref" expl="VC for swap_ref" proved="true">
17
 <proof prover="0"><result status="valid" time="0.01" steps="50"/></proof>
18 19
 </goal>
</theory>
20 21
</file>
</why3session>