Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / kind_fmcad08 / memory1 / FIREFLY_3_e2_2236_e3_2657.xml @ b7026160

History | View | Annotate | Download (12.7 KB)

1
<?xml version="1.0"?>
2
   <Results xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
3
     <Property name="top">
4
      <Date>2016-11-19 16:06</Date>
5
      <Lustre2Horn unit="sec">0.00</Lustre2Horn>
6
      <Parse unit="sec">0.00</Parse>
7
      <Query unit="sec">0.52</Query>
8
      <Answer>CEX</Answer>
9
      <Counterexample>
10
         <Node name ="firefly">
11
            <Stream name="mem_invalid" type="int">
12
                <Value instant="0">2</Value>
13
                <Value instant="1">2</Value>
14
                <Value instant="2">2</Value>
15
           </Stream>
16
            <Stream name="exclusive" type="int">
17
                <Value instant="0">0</Value>
18
                <Value instant="1">1</Value>
19
                <Value instant="2">0</Value>
20
           </Stream>
21
            <Stream name="exclusive" type="int">
22
                <Value instant="0">0</Value>
23
                <Value instant="1">1</Value>
24
                <Value instant="2">0</Value>
25
           </Stream>
26
            <Stream name="exclusive" type="int">
27
                <Value instant="0">0</Value>
28
                <Value instant="1">1</Value>
29
                <Value instant="2">0</Value>
30
           </Stream>
31
            <Stream name="i_invalid" type="int">
32
                <Value instant="0">2</Value>
33
                <Value instant="1">0</Value>
34
                <Value instant="2">0</Value>
35
           </Stream>
36
            <Stream name="e8" type="bool">
37
                <Value instant="0">1</Value>
38
                <Value instant="1">1</Value>
39
                <Value instant="2">1</Value>
40
           </Stream>
41
            <Stream name="e8" type="bool">
42
                <Value instant="0">1</Value>
43
                <Value instant="1">1</Value>
44
                <Value instant="2">1</Value>
45
           </Stream>
46
            <Stream name="e8" type="bool">
47
                <Value instant="0">1</Value>
48
                <Value instant="1">1</Value>
49
                <Value instant="2">1</Value>
50
           </Stream>
51
            <Stream name="e5" type="bool">
52
                <Value instant="0">1</Value>
53
                <Value instant="1">1</Value>
54
                <Value instant="2">1</Value>
55
           </Stream>
56
            <Stream name="e4" type="bool">
57
                <Value instant="0">1</Value>
58
                <Value instant="1">1</Value>
59
                <Value instant="2">1</Value>
60
           </Stream>
61
            <Stream name="e7" type="bool">
62
                <Value instant="0">1</Value>
63
                <Value instant="1">1</Value>
64
                <Value instant="2">1</Value>
65
           </Stream>
66
            <Stream name="e6" type="bool">
67
                <Value instant="0">1</Value>
68
                <Value instant="1">1</Value>
69
                <Value instant="2">1</Value>
70
           </Stream>
71
            <Stream name="e1" type="bool">
72
                <Value instant="0">1</Value>
73
                <Value instant="1">1</Value>
74
                <Value instant="2">1</Value>
75
           </Stream>
76
            <Stream name="e3" type="bool">
77
                <Value instant="0">1</Value>
78
                <Value instant="1">1</Value>
79
                <Value instant="2">1</Value>
80
           </Stream>
81
            <Stream name="e2" type="bool">
82
                <Value instant="0">1</Value>
83
                <Value instant="1">1</Value>
84
                <Value instant="2">1</Value>
85
           </Stream>
86
            <Stream name="e2" type="bool">
87
                <Value instant="0">1</Value>
88
                <Value instant="1">1</Value>
89
                <Value instant="2">1</Value>
90
           </Stream>
91
            <Stream name="invalid" type="int">
92
                <Value instant="0">2</Value>
93
                <Value instant="1">1</Value>
94
                <Value instant="2">0</Value>
95
           </Stream>
96
            <Stream name="0" type="int">
97
                <Value instant="0">0</Value>
98
                <Value instant="1">0</Value>
99
                <Value instant="2">0</Value>
100
           </Stream>
101
            <Stream name="dirty" type="int">
102
                <Value instant="0">0</Value>
103
                <Value instant="1">0</Value>
104
                <Value instant="2">0</Value>
105
           </Stream>
106
            <Stream name="dirty" type="int">
107
                <Value instant="0">0</Value>
108
                <Value instant="1">0</Value>
109
                <Value instant="2">0</Value>
110
           </Stream>
111
            <Stream name="shared" type="int">
112
                <Value instant="0">0</Value>
113
                <Value instant="1">0</Value>
114
                <Value instant="2">-1</Value>
115
           </Stream>
116
         </Node>
117
 <Node name ="Sofar">
118
            <Stream name="Sofar" type="bool">
119
                <Value instant="0">1</Value>
120
                <Value instant="1">1</Value>
121
                <Value instant="2">1</Value>
122
           </Stream>
123
            <Stream name="X" type="bool">
124
                <Value instant="0">1</Value>
125
                <Value instant="1">1</Value>
126
                <Value instant="2">1</Value>
127
           </Stream>
128
            <Stream name="X" type="bool">
129
                <Value instant="0">1</Value>
130
                <Value instant="1">1</Value>
131
                <Value instant="2">1</Value>
132
           </Stream>
133
         </Node>
134
 <Node name ="excludes8">
135
            <Stream name="excludes" type="bool">
136
                <Value instant="0">1</Value>
137
                <Value instant="1">1</Value>
138
                <Value instant="2">1</Value>
139
           </Stream>
140
            <Stream name="X8" type="bool">
141
                <Value instant="0">1</Value>
142
                <Value instant="1">1</Value>
143
                <Value instant="2">1</Value>
144
           </Stream>
145
            <Stream name="X2" type="bool">
146
                <Value instant="0">1</Value>
147
                <Value instant="1">1</Value>
148
                <Value instant="2">1</Value>
149
           </Stream>
150
            <Stream name="X3" type="bool">
151
                <Value instant="0">1</Value>
152
                <Value instant="1">1</Value>
153
                <Value instant="2">1</Value>
154
           </Stream>
155
            <Stream name="X1" type="bool">
156
                <Value instant="0">1</Value>
157
                <Value instant="1">1</Value>
158
                <Value instant="2">1</Value>
159
           </Stream>
160
            <Stream name="X6" type="bool">
161
                <Value instant="0">1</Value>
162
                <Value instant="1">1</Value>
163
                <Value instant="2">1</Value>
164
           </Stream>
165
            <Stream name="X7" type="bool">
166
                <Value instant="0">1</Value>
167
                <Value instant="1">1</Value>
168
                <Value instant="2">1</Value>
169
           </Stream>
170
            <Stream name="X4" type="bool">
171
                <Value instant="0">1</Value>
172
                <Value instant="1">1</Value>
173
                <Value instant="2">1</Value>
174
           </Stream>
175
            <Stream name="X5" type="bool">
176
                <Value instant="0">1</Value>
177
                <Value instant="1">1</Value>
178
                <Value instant="2">1</Value>
179
           </Stream>
180
         </Node>
181
 <Node name ="top">
182
            <Stream name="mem_invalid" type="int">
183
                <Value instant="0">2</Value>
184
                <Value instant="1">2</Value>
185
                <Value instant="2">2</Value>
186
           </Stream>
187
            <Stream name="exclusive" type="int">
188
                <Value instant="0">0</Value>
189
                <Value instant="1">1</Value>
190
                <Value instant="2">0</Value>
191
           </Stream>
192
            <Stream name="exclusive" type="int">
193
                <Value instant="0">0</Value>
194
                <Value instant="1">1</Value>
195
                <Value instant="2">0</Value>
196
           </Stream>
197
            <Stream name="exclusive" type="int">
198
                <Value instant="0">0</Value>
199
                <Value instant="1">1</Value>
200
                <Value instant="2">0</Value>
201
           </Stream>
202
            <Stream name="exclusive" type="int">
203
                <Value instant="0">0</Value>
204
                <Value instant="1">1</Value>
205
                <Value instant="2">0</Value>
206
           </Stream>
207
            <Stream name="i_invalid" type="int">
208
                <Value instant="0">2</Value>
209
                <Value instant="1">0</Value>
210
                <Value instant="2">0</Value>
211
           </Stream>
212
            <Stream name="Sofar" type="bool">
213
                <Value instant="0">1</Value>
214
                <Value instant="1">1</Value>
215
                <Value instant="2">1</Value>
216
           </Stream>
217
            <Stream name="e8" type="bool">
218
                <Value instant="0">1</Value>
219
                <Value instant="1">1</Value>
220
                <Value instant="2">1</Value>
221
           </Stream>
222
            <Stream name="e8" type="bool">
223
                <Value instant="0">1</Value>
224
                <Value instant="1">1</Value>
225
                <Value instant="2">1</Value>
226
           </Stream>
227
            <Stream name="e5" type="bool">
228
                <Value instant="0">1</Value>
229
                <Value instant="1">1</Value>
230
                <Value instant="2">1</Value>
231
           </Stream>
232
            <Stream name="e4" type="bool">
233
                <Value instant="0">1</Value>
234
                <Value instant="1">1</Value>
235
                <Value instant="2">1</Value>
236
           </Stream>
237
            <Stream name="e7" type="bool">
238
                <Value instant="0">1</Value>
239
                <Value instant="1">1</Value>
240
                <Value instant="2">1</Value>
241
           </Stream>
242
            <Stream name="e6" type="bool">
243
                <Value instant="0">1</Value>
244
                <Value instant="1">1</Value>
245
                <Value instant="2">1</Value>
246
           </Stream>
247
            <Stream name="e1" type="bool">
248
                <Value instant="0">1</Value>
249
                <Value instant="1">1</Value>
250
                <Value instant="2">1</Value>
251
           </Stream>
252
            <Stream name="e2" type="bool">
253
                <Value instant="0">1</Value>
254
                <Value instant="1">1</Value>
255
                <Value instant="2">1</Value>
256
           </Stream>
257
            <Stream name="e2" type="bool">
258
                <Value instant="0">1</Value>
259
                <Value instant="1">1</Value>
260
                <Value instant="2">1</Value>
261
           </Stream>
262
            <Stream name="OK" type="bool">
263
                <Value instant="0">1</Value>
264
                <Value instant="1">1</Value>
265
                <Value instant="2">1</Value>
266
           </Stream>
267
            <Stream name="OK" type="bool">
268
                <Value instant="0">1</Value>
269
                <Value instant="1">1</Value>
270
                <Value instant="2">1</Value>
271
           </Stream>
272
            <Stream name="invalid" type="int">
273
                <Value instant="0">2</Value>
274
                <Value instant="1">1</Value>
275
                <Value instant="2">0</Value>
276
           </Stream>
277
            <Stream name="0" type="int">
278
                <Value instant="0">0</Value>
279
                <Value instant="1">0</Value>
280
                <Value instant="2">0</Value>
281
           </Stream>
282
            <Stream name="e3" type="bool">
283
                <Value instant="0">1</Value>
284
                <Value instant="1">1</Value>
285
                <Value instant="2">1</Value>
286
           </Stream>
287
            <Stream name="e3" type="bool">
288
                <Value instant="0">1</Value>
289
                <Value instant="1">1</Value>
290
                <Value instant="2">1</Value>
291
           </Stream>
292
            <Stream name="shared" type="int">
293
                <Value instant="0">0</Value>
294
                <Value instant="1">0</Value>
295
                <Value instant="2">-1</Value>
296
           </Stream>
297
            <Stream name="shared" type="int">
298
                <Value instant="0">0</Value>
299
                <Value instant="1">0</Value>
300
                <Value instant="2">-1</Value>
301
           </Stream>
302
            <Stream name="First" type="int">
303
                <Value instant="0">2</Value>
304
                <Value instant="1">2</Value>
305
                <Value instant="2">2</Value>
306
           </Stream>
307
            <Stream name="dirty" type="int">
308
                <Value instant="0">0</Value>
309
                <Value instant="1">0</Value>
310
                <Value instant="2">0</Value>
311
           </Stream>
312
         </Node>
313
 <Node name ="First">
314
            <Stream name="X" type="int">
315
                <Value instant="0">2</Value>
316
                <Value instant="1">0</Value>
317
                <Value instant="2">0</Value>
318
           </Stream>
319
            <Stream name="X" type="int">
320
                <Value instant="0">2</Value>
321
                <Value instant="1">0</Value>
322
                <Value instant="2">0</Value>
323
           </Stream>
324
            <Stream name="First" type="int">
325
                <Value instant="0">2</Value>
326
                <Value instant="1">2</Value>
327
                <Value instant="2">2</Value>
328
           </Stream>
329
         </Node>
330

    
331
      </Counterexample>
332
     </Property>
333
   </Results>
334