why3session.xml 937 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" expanded="true">
7
<theory name="Swap" sum="31dd0e454abcc8d0c446f24eb3f7c4ad" expanded="true">
8 9
 <goal name="VC swap" expl="VC for swap" expanded="true">
 <proof prover="2"><result status="valid" time="0.00" steps="4"/></proof>
10 11
 </goal>
</theory>
12
<theory name="SwapInt32" sum="4cf775d81f506d0bd75554828de2319b" expanded="true">
13 14
 <goal name="VC swap" expl="VC for swap" expanded="true">
 <proof prover="2"><result status="valid" time="0.01" steps="50"/></proof>
15
 </goal>
16 17
 <goal name="VC swap_ref" expl="VC for swap_ref" expanded="true">
 <proof prover="2"><result status="valid" time="0.01" steps="50"/></proof>
18 19
 </goal>
</theory>
20 21
</file>
</why3session>