why3session.xml 660 Bytes
Newer Older
MARCHE Claude's avatar
MARCHE Claude committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE why3session SYSTEM "/usr/local/share/why3/why3session.dtd">
<why3session
 name="test-ind/why3session.xml" shape_version="2">
 <file
  name="../test-ind.why"
  verified="false"
  expanded="true">
  <theory
   name="T"
   locfile="test-ind/../test-ind.why"
   loclnum="2" loccnumb="7" loccnume="8"
   verified="false"
   expanded="true">
   <goal
    name="app_nil"
    locfile="test-ind/../test-ind.why"
    loclnum="12" loccnumb="6" loccnume="13"
    sum="57a6eece27d97fc131ecc13471649486"
    proved="false"
    expanded="true"
    shape="ainfix =aappV0aNilV0F">
   </goal>
  </theory>
 </file>
</why3session>