Project

General

Profile

Revision 6f6af7b8 regression_tests/lustre_files/success/kind_fmcad08/simulation/PRODUCER_CONSUMMER_luke_1_top__timeout60_xml.xml

View differences:

regression_tests/lustre_files/success/kind_fmcad08/simulation/PRODUCER_CONSUMMER_luke_1_top__timeout60_xml.xml
1 1
<?xml version="1.0"?>
2 2
   <Results xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
3 3
     <Property name="top">
4
      <Date>2016-11-29 19:19</Date>
4
      <Date>2018-11-16 11:18</Date>
5 5
      <Lustre2Horn unit="sec">0.00</Lustre2Horn>
6 6
      <Parse unit="sec">0.00</Parse>
7
      <Query unit="sec">0.22</Query>
7
      <Query unit="sec">0.27</Query>
8 8
      <Answer>CEX</Answer>
9 9
      <Counterexample>
10 10
         <Node name ="Sofar">
......
16 16
                <Value instant="0">1</Value>
17 17
                <Value instant="1">1</Value>
18 18
           </Stream>
19
            <Stream name="X" type="bool">
20
                <Value instant="0">1</Value>
21
                <Value instant="1">1</Value>
22
           </Stream>
23
         </Node>
24
 <Node name ="excludes3">
25
            <Stream name="X2" type="bool">
26
                <Value instant="0">1</Value>
27
                <Value instant="1">1</Value>
28
           </Stream>
29
            <Stream name="X3" type="bool">
30
                <Value instant="0">1</Value>
31
                <Value instant="1">1</Value>
32
           </Stream>
33
            <Stream name="X1" type="bool">
34
                <Value instant="0">1</Value>
35
                <Value instant="1">1</Value>
36
           </Stream>
37
            <Stream name="excludes" type="bool">
38
                <Value instant="0">1</Value>
39
                <Value instant="1">1</Value>
40
           </Stream>
41 19
         </Node>
42 20
 <Node name ="top">
43 21
            <Stream name="Sofar" type="bool">
44 22
                <Value instant="0">1</Value>
45 23
                <Value instant="1">1</Value>
46 24
           </Stream>
47
            <Stream name="Sofar" type="bool">
48
                <Value instant="0">1</Value>
49
                <Value instant="1">1</Value>
50
           </Stream>
51 25
            <Stream name="b" type="int">
52 26
                <Value instant="0">0</Value>
53 27
                <Value instant="1">0</Value>
54 28
           </Stream>
55 29
            <Stream name="etat1" type="bool">
56 30
                <Value instant="0">1</Value>
57
                <Value instant="1">1</Value>
31
                <Value instant="1">0</Value>
58 32
           </Stream>
59 33
            <Stream name="etat3" type="bool">
60
                <Value instant="0">1</Value>
61
                <Value instant="1">1</Value>
34
                <Value instant="0">0</Value>
35
                <Value instant="1">0</Value>
62 36
           </Stream>
63 37
            <Stream name="First" type="int">
64 38
                <Value instant="0">1</Value>
......
68 42
                <Value instant="0">1</Value>
69 43
                <Value instant="1">1</Value>
70 44
           </Stream>
71
            <Stream name="a" type="int">
72
                <Value instant="0">1</Value>
73
                <Value instant="1">1</Value>
74
           </Stream>
75 45
            <Stream name="etat2" type="bool">
76
                <Value instant="0">1</Value>
46
                <Value instant="0">0</Value>
77 47
                <Value instant="1">1</Value>
78 48
           </Stream>
79 49
            <Stream name="OK" type="bool">
80 50
                <Value instant="0">1</Value>
81
                <Value instant="1">1</Value>
82
           </Stream>
83
            <Stream name="i" type="int">
84
                <Value instant="0">1</Value>
85
                <Value instant="1">1</Value>
86
           </Stream>
87
            <Stream name="i" type="int">
88
                <Value instant="0">1</Value>
89
                <Value instant="1">1</Value>
90
           </Stream>
91
            <Stream name="i" type="int">
92
                <Value instant="0">1</Value>
93
                <Value instant="1">1</Value>
51
                <Value instant="1">0</Value>
94 52
           </Stream>
95 53
            <Stream name="i" type="int">
96 54
                <Value instant="0">1</Value>
......
98 56
           </Stream>
99 57
            <Stream name="a_init" type="int">
100 58
                <Value instant="0">1</Value>
101
                <Value instant="1">0</Value>
102 59
           </Stream>
103 60
            <Stream name="o2" type="int">
104 61
                <Value instant="0">0</Value>
......
109 66
                <Value instant="1">0</Value>
110 67
           </Stream>
111 68
         </Node>
112
 <Node name ="PRODUCER_CONSUMMER">
113
            <Stream name="a" type="int">
69
 <Node name ="First">
70
            <Stream name="X" type="int">
114 71
                <Value instant="0">1</Value>
115 72
                <Value instant="1">1</Value>
116 73
           </Stream>
117
            <Stream name="b" type="int">
118
                <Value instant="0">0</Value>
119
                <Value instant="1">0</Value>
120
           </Stream>
121
            <Stream name="b" type="int">
122
                <Value instant="0">0</Value>
123
                <Value instant="1">0</Value>
124
           </Stream>
125
            <Stream name="i" type="int">
74
            <Stream name="First" type="int">
126 75
                <Value instant="0">1</Value>
127 76
                <Value instant="1">1</Value>
128 77
           </Stream>
129
            <Stream name="i" type="int">
78
         </Node>
79
 <Node name ="PRODUCER_CONSUMMER">
80
            <Stream name="a" type="int">
130 81
                <Value instant="0">1</Value>
131 82
                <Value instant="1">1</Value>
132 83
           </Stream>
133
            <Stream name="i" type="int">
134
                <Value instant="0">1</Value>
135
                <Value instant="1">1</Value>
84
            <Stream name="b" type="int">
85
                <Value instant="0">0</Value>
86
                <Value instant="1">0</Value>
136 87
           </Stream>
137 88
            <Stream name="i" type="int">
138 89
                <Value instant="0">1</Value>
......
140 91
           </Stream>
141 92
            <Stream name="a_init" type="int">
142 93
                <Value instant="0">1</Value>
143
                <Value instant="1">0</Value>
144
           </Stream>
145
            <Stream name="a_init" type="int">
146
                <Value instant="0">1</Value>
147
                <Value instant="1">0</Value>
94
                <Value instant="1">1</Value>
148 95
           </Stream>
149 96
            <Stream name="etat1" type="bool">
150 97
                <Value instant="0">1</Value>
151
                <Value instant="1">1</Value>
98
                <Value instant="1">0</Value>
152 99
           </Stream>
153 100
            <Stream name="etat3" type="bool">
154
                <Value instant="0">1</Value>
155
                <Value instant="1">1</Value>
101
                <Value instant="0">0</Value>
102
                <Value instant="1">0</Value>
156 103
           </Stream>
157 104
            <Stream name="etat2" type="bool">
158
                <Value instant="0">1</Value>
105
                <Value instant="0">0</Value>
159 106
                <Value instant="1">1</Value>
160 107
           </Stream>
161 108
            <Stream name="o2" type="int">
......
167 114
                <Value instant="1">0</Value>
168 115
           </Stream>
169 116
         </Node>
170
 <Node name ="First">
171
            <Stream name="X" type="int">
172
                <Value instant="0">1</Value>
117
 <Node name ="excludes3_fun">
118
            <Stream name="X2" type="unk">
119
                <Value instant="0">0</Value>
120
                <Value instant="1">1</Value>
121
           </Stream>
122
            <Stream name="X3" type="unk">
123
                <Value instant="0">0</Value>
173 124
                <Value instant="1">0</Value>
174 125
           </Stream>
175
            <Stream name="X" type="int">
126
            <Stream name="X1" type="unk">
176 127
                <Value instant="0">1</Value>
177 128
                <Value instant="1">0</Value>
178 129
           </Stream>
179
            <Stream name="First" type="int">
130
            <Stream name="excludes" type="unk">
180 131
                <Value instant="0">1</Value>
181 132
                <Value instant="1">1</Value>
182 133
           </Stream>

Also available in: Unified diff