CristalCaveGem » LustreC » Lustrec-Tests

<?xml version="1.0"?>

   <Results xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">

     <Property name="top">

      <Date>2016-11-19 19:13</Date>

      <Lustre2Horn unit="sec">0.00</Lustre2Horn>

      <Parse unit="sec">0.00</Parse>

      <Query unit="sec">0.02</Query>

      <Answer>CEX</Answer>

      <Counterexample>

         <Node name ="top">

            <Stream name="init" type="int">

                <Value instant="0">0</Value>

           </Stream>

            <Stream name="OK" type="bool">

                <Value instant="0">1</Value>

           </Stream>

            <Stream name="time" type="int">

                <Value instant="0">0</Value>

           </Stream>

            <Stream name="time" type="int">

                <Value instant="0">0</Value>

           </Stream>

         </Node>

      </Counterexample>

     </Property>

   </Results>