Project

General

Profile

Download (4 KB) Statistics
| Branch: | Tag: | Revision:

lustrec-tests/regression_tests/lustre_files/success/kind_fmcad08/misc/ex8.xml @ 8aaf9f57

1 8aaf9f57 bourbouh 
<?xml version="1.0"?>
2 
   <Results xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
3 
     <Property name="top">
4 
      <Date>2016-11-19 19:13</Date>
5 
      <Lustre2Horn unit="sec">0.00</Lustre2Horn>
6 
      <Parse unit="sec">0.00</Parse>
7 
      <Query unit="sec">0.17</Query>
8 
      <Answer>CEX</Answer>
9 
      <Counterexample>
10 
         <Node name ="top">
11 
            <Stream name="C" type="int">
12 
                <Value instant="0">1</Value>
13 
                <Value instant="1">2</Value>
14 
           </Stream>
15 
            <Stream name="OK" type="bool">
16 
                <Value instant="0">1</Value>
17 
                <Value instant="1">1</Value>
18 
           </Stream>
19 
            <Stream name="second" type="bool">
20 
                <Value instant="0">1</Value>
21 
                <Value instant="1">1</Value>
22 
           </Stream>
23 
            <Stream name="second" type="bool">
24 
                <Value instant="0">1</Value>
25 
                <Value instant="1">1</Value>
26 
           </Stream>
27 
            <Stream name="early" type="bool">
28 
                <Value instant="0">1</Value>
29 
                <Value instant="1">1</Value>
30 
           </Stream>
31 
            <Stream name="beacon" type="bool">
32 
                <Value instant="0">1</Value>
33 
                <Value instant="1">1</Value>
34 
           </Stream>
35 
            <Stream name="late" type="bool">
36 
                <Value instant="0">1</Value>
37 
                <Value instant="1">1</Value>
38 
           </Stream>
39 
            <Stream name="late" type="bool">
40 
                <Value instant="0">1</Value>
41 
                <Value instant="1">1</Value>
42 
           </Stream>
43 
            <Stream name="late" type="bool">
44 
                <Value instant="0">1</Value>
45 
                <Value instant="1">1</Value>
46 
           </Stream>
47 
         </Node>
48 
 <Node name ="COUNTER">
49 
            <Stream name="reset" type="bool">
50 
                <Value instant="0">1</Value>
51 
                <Value instant="1">1</Value>
52 
           </Stream>
53 
            <Stream name="init" type="int">
54 
                <Value instant="0">0</Value>
55 
                <Value instant="1">0</Value>
56 
           </Stream>
57 
            <Stream name="X" type="bool">
58 
                <Value instant="0">1</Value>
59 
                <Value instant="1">1</Value>
60 
           </Stream>
61 
            <Stream name="X" type="bool">
62 
                <Value instant="0">1</Value>
63 
                <Value instant="1">1</Value>
64 
           </Stream>
65 
            <Stream name="C" type="int">
66 
                <Value instant="0">1</Value>
67 
                <Value instant="1">2</Value>
68 
           </Stream>
69 
            <Stream name="incr" type="int">
70 
                <Value instant="0">1</Value>
71 
                <Value instant="1">1</Value>
72 
           </Stream>
73 
         </Node>
74 
 <Node name ="speed">
75 
            <Stream name="early" type="bool">
76 
                <Value instant="0">1</Value>
77 
                <Value instant="1">1</Value>
78 
           </Stream>
79 
            <Stream name="C" type="int">
80 
                <Value instant="0">1</Value>
81 
                <Value instant="1">2</Value>
82 
           </Stream>
83 
            <Stream name="second" type="bool">
84 
                <Value instant="0">1</Value>
85 
                <Value instant="1">1</Value>
86 
           </Stream>
87 
            <Stream name="second" type="bool">
88 
                <Value instant="0">1</Value>
89 
                <Value instant="1">1</Value>
90 
           </Stream>
91 
            <Stream name="late" type="bool">
92 
                <Value instant="0">1</Value>
93 
                <Value instant="1">1</Value>
94 
           </Stream>
95 
            <Stream name="beacon" type="bool">
96 
                <Value instant="0">1</Value>
97 
                <Value instant="1">1</Value>
98 
           </Stream>
99 
            <Stream name="beacon" type="bool">
100 
                <Value instant="0">1</Value>
101 
                <Value instant="1">1</Value>
102 
           </Stream>
103 
            <Stream name="beacon" type="bool">
104 
                <Value instant="0">1</Value>
105 
                <Value instant="1">1</Value>
106 
           </Stream>
107 
         </Node>
108 

      

      

        109
        
        
        
        
        
      </Counterexample>


      

      

        110
        
        
        
        
        
     </Property>


      

      

        111
        
        
        
        
        
   </Results>