Project

General

Profile

Revision 6f6af7b8 regression_tests/lustre_files/success/kind_fmcad08/misc/ticket3i_3_e7_99_top__timeout60_xml.xml

View differences:

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

  
319 247
      </Counterexample>

Also available in: Unified diff