Project

General

Profile

Revision 6f6af7b8 regression_tests/lustre_files/success/kind_fmcad08/protocol/swimmingpool_2_top__timeout60_xml.xml

View differences:

regression_tests/lustre_files/success/kind_fmcad08/protocol/swimmingpool_2_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:05</Date>
4
      <Date>2018-11-16 11:12</Date>
5 5
      <Lustre2Horn unit="sec">0.00</Lustre2Horn>
6 6
      <Parse unit="sec">0.00</Parse>
7
      <Query unit="sec">0.20</Query>
7
      <Query unit="sec">0.39</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 19
         </Node>
24 20
 <Node name ="top">
25 21
            <Stream name="e6" type="bool">
26
                <Value instant="0">1</Value>
27
                <Value instant="1">1</Value>
28
           </Stream>
29
            <Stream name="e6" type="bool">
30
                <Value instant="0">1</Value>
31
                <Value instant="1">1</Value>
32
           </Stream>
33
            <Stream name="e6" type="bool">
34
                <Value instant="0">1</Value>
35
                <Value instant="1">1</Value>
36
           </Stream>
37
            <Stream name="x1" type="int">
38 22
                <Value instant="0">0</Value>
39
                <Value instant="1">1</Value>
40
           </Stream>
41
            <Stream name="x1" type="int">
42
                <Value instant="0">0</Value>
43
                <Value instant="1">1</Value>
23
                <Value instant="1">0</Value>
44 24
           </Stream>
45 25
            <Stream name="x1" type="int">
46 26
                <Value instant="0">0</Value>
......
71 51
                <Value instant="1">0</Value>
72 52
           </Stream>
73 53
            <Stream name="e5" type="bool">
74
                <Value instant="0">1</Value>
75
                <Value instant="1">1</Value>
76
           </Stream>
77
            <Stream name="e4" type="bool">
78
                <Value instant="0">1</Value>
79
                <Value instant="1">1</Value>
54
                <Value instant="0">0</Value>
55
                <Value instant="1">0</Value>
80 56
           </Stream>
81 57
            <Stream name="e4" type="bool">
82
                <Value instant="0">1</Value>
83
                <Value instant="1">1</Value>
58
                <Value instant="0">0</Value>
59
                <Value instant="1">0</Value>
84 60
           </Stream>
85
            <Stream name="e4" type="bool">
61
            <Stream name="x7" type="int">
86 62
                <Value instant="0">1</Value>
87 63
                <Value instant="1">1</Value>
88 64
           </Stream>
89
            <Stream name="x7" type="int">
65
            <Stream name="e3" type="bool">
90 66
                <Value instant="0">0</Value>
91 67
                <Value instant="1">0</Value>
92 68
           </Stream>
93
            <Stream name="e3" type="bool">
94
                <Value instant="0">1</Value>
95
                <Value instant="1">1</Value>
96
           </Stream>
97 69
            <Stream name="e2" type="bool">
98
                <Value instant="0">1</Value>
99
                <Value instant="1">1</Value>
100
           </Stream>
101
            <Stream name="init_p2" type="int">
102 70
                <Value instant="0">0</Value>
103 71
                <Value instant="1">0</Value>
104 72
           </Stream>
105
            <Stream name="init_p1" type="int">
73
            <Stream name="init_p2" type="int">
106 74
                <Value instant="0">1</Value>
107
                <Value instant="1">0</Value>
108 75
           </Stream>
109
            <Stream name="OK" type="bool">
76
            <Stream name="init_p1" type="int">
110 77
                <Value instant="0">1</Value>
111
                <Value instant="1">1</Value>
112 78
           </Stream>
113 79
            <Stream name="OK" type="bool">
114 80
                <Value instant="0">1</Value>
115
                <Value instant="1">1</Value>
81
                <Value instant="1">0</Value>
116 82
           </Stream>
117 83
            <Stream name="e1" type="bool">
118 84
                <Value instant="0">1</Value>
119 85
                <Value instant="1">1</Value>
120 86
           </Stream>
121 87
            <Stream name="p2" type="int">
122
                <Value instant="0">0</Value>
123
                <Value instant="1">0</Value>
124
           </Stream>
125
            <Stream name="x4" type="int">
126
                <Value instant="0">0</Value>
127
                <Value instant="1">0</Value>
88
                <Value instant="0">1</Value>
89
                <Value instant="1">1</Value>
128 90
           </Stream>
129 91
            <Stream name="x4" type="int">
130 92
                <Value instant="0">0</Value>
......
135 97
                <Value instant="1">1</Value>
136 98
           </Stream>
137 99
         </Node>
138
 <Node name ="excludes6">
139
            <Stream name="excludes" type="bool">
140
                <Value instant="0">1</Value>
141
                <Value instant="1">1</Value>
142
           </Stream>
143
            <Stream name="X2" type="bool">
144
                <Value instant="0">1</Value>
145
                <Value instant="1">1</Value>
146
           </Stream>
147
            <Stream name="X3" type="bool">
148
                <Value instant="0">1</Value>
149
                <Value instant="1">1</Value>
150
           </Stream>
151
            <Stream name="X1" type="bool">
152
                <Value instant="0">1</Value>
153
                <Value instant="1">1</Value>
154
           </Stream>
155
            <Stream name="X6" type="bool">
156
                <Value instant="0">1</Value>
157
                <Value instant="1">1</Value>
158
           </Stream>
159
            <Stream name="X4" type="bool">
160
                <Value instant="0">1</Value>
161
                <Value instant="1">1</Value>
162
           </Stream>
163
            <Stream name="X5" type="bool">
164
                <Value instant="0">1</Value>
165
                <Value instant="1">1</Value>
166
           </Stream>
167
         </Node>
168 100
 <Node name ="swimingpool">
169 101
            <Stream name="p2" type="int">
170
                <Value instant="0">0</Value>
171
                <Value instant="1">0</Value>
172
           </Stream>
173
            <Stream name="p2" type="int">
174
                <Value instant="0">0</Value>
175
                <Value instant="1">0</Value>
176
           </Stream>
177
            <Stream name="p2" type="int">
178
                <Value instant="0">0</Value>
179
                <Value instant="1">0</Value>
180
           </Stream>
181
            <Stream name="p2" type="int">
182
                <Value instant="0">0</Value>
183
                <Value instant="1">0</Value>
184
           </Stream>
185
            <Stream name="p2" type="int">
186
                <Value instant="0">0</Value>
187
                <Value instant="1">0</Value>
188
           </Stream>
189
            <Stream name="x1" type="int">
190
                <Value instant="0">0</Value>
191
                <Value instant="1">1</Value>
192
           </Stream>
193
            <Stream name="x1" type="int">
194
                <Value instant="0">0</Value>
102
                <Value instant="0">1</Value>
195 103
                <Value instant="1">1</Value>
196 104
           </Stream>
197 105
            <Stream name="x1" type="int">
......
207 115
                <Value instant="1">1</Value>
208 116
           </Stream>
209 117
            <Stream name="e4" type="bool">
210
                <Value instant="0">1</Value>
211
                <Value instant="1">1</Value>
118
                <Value instant="0">0</Value>
119
                <Value instant="1">0</Value>
212 120
           </Stream>
213 121
            <Stream name="e5" type="bool">
214
                <Value instant="0">1</Value>
215
                <Value instant="1">1</Value>
122
                <Value instant="0">0</Value>
123
                <Value instant="1">0</Value>
216 124
           </Stream>
217 125
            <Stream name="x3" type="int">
218 126
                <Value instant="0">0</Value>
219 127
                <Value instant="1">0</Value>
220 128
           </Stream>
221 129
            <Stream name="e6" type="bool">
222
                <Value instant="0">1</Value>
223
                <Value instant="1">1</Value>
130
                <Value instant="0">0</Value>
131
                <Value instant="1">0</Value>
224 132
           </Stream>
225
            <Stream name="e6" type="bool">
133
            <Stream name="x7" type="int">
226 134
                <Value instant="0">1</Value>
227 135
                <Value instant="1">1</Value>
228 136
           </Stream>
229
            <Stream name="x7" type="int">
230
                <Value instant="0">0</Value>
231
                <Value instant="1">0</Value>
232
           </Stream>
233 137
            <Stream name="x4" type="int">
234 138
                <Value instant="0">0</Value>
235 139
                <Value instant="1">0</Value>
......
239 143
                <Value instant="1">0</Value>
240 144
           </Stream>
241 145
            <Stream name="init_p2" type="int">
242
                <Value instant="0">0</Value>
243
                <Value instant="1">0</Value>
146
                <Value instant="0">1</Value>
147
                <Value instant="1">1</Value>
244 148
           </Stream>
245 149
            <Stream name="init_p1" type="int">
246 150
                <Value instant="0">1</Value>
247
                <Value instant="1">0</Value>
151
                <Value instant="1">1</Value>
248 152
           </Stream>
249 153
            <Stream name="e1" type="bool">
250 154
                <Value instant="0">1</Value>
......
254 158
                <Value instant="0">1</Value>
255 159
                <Value instant="1">0</Value>
256 160
           </Stream>
257
            <Stream name="x6" type="int">
258
                <Value instant="0">1</Value>
161
            <Stream name="e3" type="bool">
162
                <Value instant="0">0</Value>
259 163
                <Value instant="1">0</Value>
260 164
           </Stream>
261
            <Stream name="e3" type="bool">
262
                <Value instant="0">1</Value>
263
                <Value instant="1">1</Value>
165
            <Stream name="e2" type="bool">
166
                <Value instant="0">0</Value>
167
                <Value instant="1">0</Value>
264 168
           </Stream>
265
            <Stream name="e3" type="bool">
169
         </Node>
170
 <Node name ="excludes6_fun">
171
            <Stream name="excludes" type="unk">
266 172
                <Value instant="0">1</Value>
267 173
                <Value instant="1">1</Value>
268 174
           </Stream>
269
            <Stream name="e2" type="bool">
175
            <Stream name="X2" type="unk">
176
                <Value instant="0">0</Value>
177
                <Value instant="1">0</Value>
178
           </Stream>
179
            <Stream name="X3" type="unk">
180
                <Value instant="0">0</Value>
181
                <Value instant="1">0</Value>
182
           </Stream>
183
            <Stream name="X1" type="unk">
270 184
                <Value instant="0">1</Value>
271 185
                <Value instant="1">1</Value>
272 186
           </Stream>
273
         </Node>
274
 <Node name ="First">
275
            <Stream name="X" type="int">
187
            <Stream name="X6" type="unk">
276 188
                <Value instant="0">0</Value>
277
                <Value instant="1">1</Value>
278
                <Value instant="2">0</Value>
279
                <Value instant="3">0</Value>
189
                <Value instant="1">0</Value>
280 190
           </Stream>
281
            <Stream name="X" type="int">
191
            <Stream name="X4" type="unk">
282 192
                <Value instant="0">0</Value>
193
                <Value instant="1">0</Value>
194
           </Stream>
195
            <Stream name="X5" type="unk">
196
                <Value instant="0">0</Value>
197
                <Value instant="1">0</Value>
198
           </Stream>
199
         </Node>
200
 <Node name ="First">
201
            <Stream name="X" type="int">
202
                <Value instant="0">1</Value>
283 203
                <Value instant="1">1</Value>
284
                <Value instant="2">0</Value>
285
                <Value instant="3">0</Value>
204
                <Value instant="2">1</Value>
205
                <Value instant="3">1</Value>
286 206
           </Stream>
287 207
            <Stream name="First" type="int">
288
                <Value instant="0">0</Value>
208
                <Value instant="0">1</Value>
289 209
                <Value instant="1">1</Value>
290
                <Value instant="2">0</Value>
210
                <Value instant="2">1</Value>
291 211
                <Value instant="3">1</Value>
292 212
           </Stream>
293 213
         </Node>

Also available in: Unified diff