tests/test-ind/why3session.xml

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