Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / kind_fmcad08 / misc / traffic_e7_46_e7_171_top__timeout60_xml.xml @ 6f6af7b8

History | View | Annotate | Download (1.35 KB)

1 
<?xml version="1.0"?>
2 
   <Results xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
3 
     <Property name="top">
4 
      <Date>2018-11-16 11:11</Date>
5 
      <Lustre2Horn unit="sec">0.00</Lustre2Horn>
6 
      <Parse unit="sec">0.00</Parse>
7 
      <Query unit="sec">0.08</Query>
8 
      <Answer>CEX</Answer>
9 
      <Counterexample>
10 
         <Node name ="Sofar">
11 
            <Stream name="Y" type="bool">
12 
                <Value instant="0">1</Value>
13 
           </Stream>
14 
            <Stream name="X" type="bool">
15 
                <Value instant="0">1</Value>
16 
           </Stream>
17 
         </Node>
18 
 <Node name ="top">
19 
            <Stream name="Total" type="int">
20 
                <Value instant="0">-1</Value>
21 
           </Stream>
22 
            <Stream name="OK" type="bool">
23 
                <Value instant="0">0</Value>
24 
           </Stream>
25 
            <Stream name="Y" type="bool">
26 
                <Value instant="0">1</Value>
27 
           </Stream>
28 
            <Stream name="Delta" type="int">
29 
                <Value instant="0">-1</Value>
30 
           </Stream>
31 
         </Node>
32 
 <Node name ="Store">
33 
            <Stream name="Total" type="int">
34 
                <Value instant="0">-1</Value>
35 
           </Stream>
36 
            <Stream name="Delta" type="int">
37 
                <Value instant="0">-1</Value>
38 
           </Stream>
39 
         </Node>
40 

    		
  

  

    
      41
    
    
      
      </Counterexample>


    		
  

  

    
      42
    
    
      
     </Property>


    		
  

  

    
      43
    
    
      
   </Results>


    		
  

  

    
      44