Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / adrien / PFS_oracle_PFS_oracle__output_values @ cc6eda98

History | View | Annotate | Download (14.2 KB)

1
'output_global': '1' 
2
'output_inhibited_R2_R3': '1' 
3
'output_unchanged_nop_R5': '1' 
4
'output_change_R3_Rise': '1' 
5
'output_change_R3_Fall': '1' 
6
'output_global': '1' 
7
'output_inhibited_R2_R3': '1' 
8
'output_unchanged_nop_R5': '1' 
9
'output_change_R3_Rise': '1' 
10
'output_change_R3_Fall': '1' 
11
'output_global': '0' 
12
'output_inhibited_R2_R3': '1' 
13
'output_unchanged_nop_R5': '0' 
14
'output_change_R3_Rise': '1' 
15
'output_change_R3_Fall': '1' 
16
'output_global': '1' 
17
'output_inhibited_R2_R3': '0' 
18
'output_unchanged_nop_R5': '0' 
19
'output_change_R3_Rise': '1' 
20
'output_change_R3_Fall': '1' 
21
'output_global': '1' 
22
'output_inhibited_R2_R3': '0' 
23
'output_unchanged_nop_R5': '0' 
24
'output_change_R3_Rise': '1' 
25
'output_change_R3_Fall': '1' 
26
'output_global': '1' 
27
'output_inhibited_R2_R3': '0' 
28
'output_unchanged_nop_R5': '1' 
29
'output_change_R3_Rise': '1' 
30
'output_change_R3_Fall': '0' 
31
'output_global': '1' 
32
'output_inhibited_R2_R3': '0' 
33
'output_unchanged_nop_R5': '1' 
34
'output_change_R3_Rise': '1' 
35
'output_change_R3_Fall': '1' 
36
'output_global': '1' 
37
'output_inhibited_R2_R3': '0' 
38
'output_unchanged_nop_R5': '1' 
39
'output_change_R3_Rise': '1' 
40
'output_change_R3_Fall': '1' 
41
'output_global': '1' 
42
'output_inhibited_R2_R3': '0' 
43
'output_unchanged_nop_R5': '1' 
44
'output_change_R3_Rise': '1' 
45
'output_change_R3_Fall': '1' 
46
'output_global': '0' 
47
'output_inhibited_R2_R3': '0' 
48
'output_unchanged_nop_R5': '1' 
49
'output_change_R3_Rise': '1' 
50
'output_change_R3_Fall': '0' 
51
'output_global': '0' 
52
'output_inhibited_R2_R3': '1' 
53
'output_unchanged_nop_R5': '1' 
54
'output_change_R3_Rise': '1' 
55
'output_change_R3_Fall': '0' 
56
'output_global': '1' 
57
'output_inhibited_R2_R3': '1' 
58
'output_unchanged_nop_R5': '0' 
59
'output_change_R3_Rise': '1' 
60
'output_change_R3_Fall': '1' 
61
'output_global': '0' 
62
'output_inhibited_R2_R3': '0' 
63
'output_unchanged_nop_R5': '0' 
64
'output_change_R3_Rise': '1' 
65
'output_change_R3_Fall': '1' 
66
'output_global': '1' 
67
'output_inhibited_R2_R3': '0' 
68
'output_unchanged_nop_R5': '1' 
69
'output_change_R3_Rise': '1' 
70
'output_change_R3_Fall': '1' 
71
'output_global': '1' 
72
'output_inhibited_R2_R3': '0' 
73
'output_unchanged_nop_R5': '1' 
74
'output_change_R3_Rise': '1' 
75
'output_change_R3_Fall': '1' 
76
'output_global': '0' 
77
'output_inhibited_R2_R3': '0' 
78
'output_unchanged_nop_R5': '1' 
79
'output_change_R3_Rise': '1' 
80
'output_change_R3_Fall': '0' 
81
'output_global': '0' 
82
'output_inhibited_R2_R3': '0' 
83
'output_unchanged_nop_R5': '0' 
84
'output_change_R3_Rise': '1' 
85
'output_change_R3_Fall': '1' 
86
'output_global': '1' 
87
'output_inhibited_R2_R3': '0' 
88
'output_unchanged_nop_R5': '1' 
89
'output_change_R3_Rise': '1' 
90
'output_change_R3_Fall': '1' 
91
'output_global': '1' 
92
'output_inhibited_R2_R3': '1' 
93
'output_unchanged_nop_R5': '1' 
94
'output_change_R3_Rise': '1' 
95
'output_change_R3_Fall': '0' 
96
'output_global': '0' 
97
'output_inhibited_R2_R3': '1' 
98
'output_unchanged_nop_R5': '1' 
99
'output_change_R3_Rise': '1' 
100
'output_change_R3_Fall': '1' 
101
'output_global': '1' 
102
'output_inhibited_R2_R3': '1' 
103
'output_unchanged_nop_R5': '0' 
104
'output_change_R3_Rise': '1' 
105
'output_change_R3_Fall': '1' 
106
'output_global': '1' 
107
'output_inhibited_R2_R3': '1' 
108
'output_unchanged_nop_R5': '1' 
109
'output_change_R3_Rise': '1' 
110
'output_change_R3_Fall': '1' 
111
'output_global': '1' 
112
'output_inhibited_R2_R3': '1' 
113
'output_unchanged_nop_R5': '1' 
114
'output_change_R3_Rise': '1' 
115
'output_change_R3_Fall': '1' 
116
'output_global': '0' 
117
'output_inhibited_R2_R3': '1' 
118
'output_unchanged_nop_R5': '1' 
119
'output_change_R3_Rise': '1' 
120
'output_change_R3_Fall': '1' 
121
'output_global': '1' 
122
'output_inhibited_R2_R3': '0' 
123
'output_unchanged_nop_R5': '1' 
124
'output_change_R3_Rise': '1' 
125
'output_change_R3_Fall': '1' 
126
'output_global': '1' 
127
'output_inhibited_R2_R3': '1' 
128
'output_unchanged_nop_R5': '1' 
129
'output_change_R3_Rise': '1' 
130
'output_change_R3_Fall': '0' 
131
'output_global': '0' 
132
'output_inhibited_R2_R3': '1' 
133
'output_unchanged_nop_R5': '1' 
134
'output_change_R3_Rise': '1' 
135
'output_change_R3_Fall': '1' 
136
'output_global': '0' 
137
'output_inhibited_R2_R3': '0' 
138
'output_unchanged_nop_R5': '1' 
139
'output_change_R3_Rise': '1' 
140
'output_change_R3_Fall': '1' 
141
'output_global': '0' 
142
'output_inhibited_R2_R3': '0' 
143
'output_unchanged_nop_R5': '1' 
144
'output_change_R3_Rise': '1' 
145
'output_change_R3_Fall': '1' 
146
'output_global': '1' 
147
'output_inhibited_R2_R3': '0' 
148
'output_unchanged_nop_R5': '0' 
149
'output_change_R3_Rise': '1' 
150
'output_change_R3_Fall': '1' 
151
'output_global': '1' 
152
'output_inhibited_R2_R3': '0' 
153
'output_unchanged_nop_R5': '1' 
154
'output_change_R3_Rise': '1' 
155
'output_change_R3_Fall': '1' 
156
'output_global': '0' 
157
'output_inhibited_R2_R3': '0' 
158
'output_unchanged_nop_R5': '1' 
159
'output_change_R3_Rise': '1' 
160
'output_change_R3_Fall': '1' 
161
'output_global': '1' 
162
'output_inhibited_R2_R3': '0' 
163
'output_unchanged_nop_R5': '1' 
164
'output_change_R3_Rise': '1' 
165
'output_change_R3_Fall': '1' 
166
'output_global': '1' 
167
'output_inhibited_R2_R3': '0' 
168
'output_unchanged_nop_R5': '0' 
169
'output_change_R3_Rise': '1' 
170
'output_change_R3_Fall': '1' 
171
'output_global': '1' 
172
'output_inhibited_R2_R3': '1' 
173
'output_unchanged_nop_R5': '1' 
174
'output_change_R3_Rise': '1' 
175
'output_change_R3_Fall': '0' 
176
'output_global': '1' 
177
'output_inhibited_R2_R3': '0' 
178
'output_unchanged_nop_R5': '1' 
179
'output_change_R3_Rise': '1' 
180
'output_change_R3_Fall': '1' 
181
'output_global': '0' 
182
'output_inhibited_R2_R3': '1' 
183
'output_unchanged_nop_R5': '1' 
184
'output_change_R3_Rise': '1' 
185
'output_change_R3_Fall': '0' 
186
'output_global': '1' 
187
'output_inhibited_R2_R3': '1' 
188
'output_unchanged_nop_R5': '1' 
189
'output_change_R3_Rise': '1' 
190
'output_change_R3_Fall': '1' 
191
'output_global': '1' 
192
'output_inhibited_R2_R3': '0' 
193
'output_unchanged_nop_R5': '0' 
194
'output_change_R3_Rise': '1' 
195
'output_change_R3_Fall': '1' 
196
'output_global': '1' 
197
'output_inhibited_R2_R3': '0' 
198
'output_unchanged_nop_R5': '1' 
199
'output_change_R3_Rise': '1' 
200
'output_change_R3_Fall': '1' 
201
'output_global': '1' 
202
'output_inhibited_R2_R3': '1' 
203
'output_unchanged_nop_R5': '1' 
204
'output_change_R3_Rise': '1' 
205
'output_change_R3_Fall': '0' 
206
'output_global': '1' 
207
'output_inhibited_R2_R3': '0' 
208
'output_unchanged_nop_R5': '1' 
209
'output_change_R3_Rise': '1' 
210
'output_change_R3_Fall': '1' 
211
'output_global': '1' 
212
'output_inhibited_R2_R3': '0' 
213
'output_unchanged_nop_R5': '1' 
214
'output_change_R3_Rise': '1' 
215
'output_change_R3_Fall': '1' 
216
'output_global': '1' 
217
'output_inhibited_R2_R3': '1' 
218
'output_unchanged_nop_R5': '1' 
219
'output_change_R3_Rise': '1' 
220
'output_change_R3_Fall': '0' 
221
'output_global': '1' 
222
'output_inhibited_R2_R3': '0' 
223
'output_unchanged_nop_R5': '1' 
224
'output_change_R3_Rise': '1' 
225
'output_change_R3_Fall': '1' 
226
'output_global': '0' 
227
'output_inhibited_R2_R3': '1' 
228
'output_unchanged_nop_R5': '1' 
229
'output_change_R3_Rise': '1' 
230
'output_change_R3_Fall': '1' 
231
'output_global': '1' 
232
'output_inhibited_R2_R3': '0' 
233
'output_unchanged_nop_R5': '1' 
234
'output_change_R3_Rise': '1' 
235
'output_change_R3_Fall': '1' 
236
'output_global': '0' 
237
'output_inhibited_R2_R3': '0' 
238
'output_unchanged_nop_R5': '0' 
239
'output_change_R3_Rise': '1' 
240
'output_change_R3_Fall': '1' 
241
'output_global': '1' 
242
'output_inhibited_R2_R3': '0' 
243
'output_unchanged_nop_R5': '0' 
244
'output_change_R3_Rise': '1' 
245
'output_change_R3_Fall': '1' 
246
'output_global': '1' 
247
'output_inhibited_R2_R3': '0' 
248
'output_unchanged_nop_R5': '0' 
249
'output_change_R3_Rise': '1' 
250
'output_change_R3_Fall': '1' 
251
'output_global': '1' 
252
'output_inhibited_R2_R3': '1' 
253
'output_unchanged_nop_R5': '1' 
254
'output_change_R3_Rise': '1' 
255
'output_change_R3_Fall': '0' 
256
'output_global': '0' 
257
'output_inhibited_R2_R3': '0' 
258
'output_unchanged_nop_R5': '0' 
259
'output_change_R3_Rise': '1' 
260
'output_change_R3_Fall': '1' 
261
'output_global': '1' 
262
'output_inhibited_R2_R3': '0' 
263
'output_unchanged_nop_R5': '0' 
264
'output_change_R3_Rise': '1' 
265
'output_change_R3_Fall': '1' 
266
'output_global': '0' 
267
'output_inhibited_R2_R3': '0' 
268
'output_unchanged_nop_R5': '0' 
269
'output_change_R3_Rise': '1' 
270
'output_change_R3_Fall': '0' 
271
'output_global': '1' 
272
'output_inhibited_R2_R3': '1' 
273
'output_unchanged_nop_R5': '0' 
274
'output_change_R3_Rise': '1' 
275
'output_change_R3_Fall': '1' 
276
'output_global': '0' 
277
'output_inhibited_R2_R3': '0' 
278
'output_unchanged_nop_R5': '1' 
279
'output_change_R3_Rise': '1' 
280
'output_change_R3_Fall': '1' 
281
'output_global': '0' 
282
'output_inhibited_R2_R3': '0' 
283
'output_unchanged_nop_R5': '1' 
284
'output_change_R3_Rise': '1' 
285
'output_change_R3_Fall': '1' 
286
'output_global': '0' 
287
'output_inhibited_R2_R3': '0' 
288
'output_unchanged_nop_R5': '1' 
289
'output_change_R3_Rise': '1' 
290
'output_change_R3_Fall': '1' 
291
'output_global': '1' 
292
'output_inhibited_R2_R3': '0' 
293
'output_unchanged_nop_R5': '1' 
294
'output_change_R3_Rise': '1' 
295
'output_change_R3_Fall': '1' 
296
'output_global': '1' 
297
'output_inhibited_R2_R3': '0' 
298
'output_unchanged_nop_R5': '1' 
299
'output_change_R3_Rise': '1' 
300
'output_change_R3_Fall': '1' 
301
'output_global': '0' 
302
'output_inhibited_R2_R3': '0' 
303
'output_unchanged_nop_R5': '1' 
304
'output_change_R3_Rise': '1' 
305
'output_change_R3_Fall': '0' 
306
'output_global': '1' 
307
'output_inhibited_R2_R3': '0' 
308
'output_unchanged_nop_R5': '1' 
309
'output_change_R3_Rise': '1' 
310
'output_change_R3_Fall': '1' 
311
'output_global': '1' 
312
'output_inhibited_R2_R3': '1' 
313
'output_unchanged_nop_R5': '1' 
314
'output_change_R3_Rise': '1' 
315
'output_change_R3_Fall': '1' 
316
'output_global': '1' 
317
'output_inhibited_R2_R3': '0' 
318
'output_unchanged_nop_R5': '1' 
319
'output_change_R3_Rise': '1' 
320
'output_change_R3_Fall': '1' 
321
'output_global': '0' 
322
'output_inhibited_R2_R3': '0' 
323
'output_unchanged_nop_R5': '1' 
324
'output_change_R3_Rise': '1' 
325
'output_change_R3_Fall': '0' 
326
'output_global': '0' 
327
'output_inhibited_R2_R3': '1' 
328
'output_unchanged_nop_R5': '1' 
329
'output_change_R3_Rise': '1' 
330
'output_change_R3_Fall': '0' 
331
'output_global': '0' 
332
'output_inhibited_R2_R3': '1' 
333
'output_unchanged_nop_R5': '0' 
334
'output_change_R3_Rise': '1' 
335
'output_change_R3_Fall': '1' 
336
'output_global': '0' 
337
'output_inhibited_R2_R3': '1' 
338
'output_unchanged_nop_R5': '1' 
339
'output_change_R3_Rise': '1' 
340
'output_change_R3_Fall': '1' 
341
'output_global': '0' 
342
'output_inhibited_R2_R3': '0' 
343
'output_unchanged_nop_R5': '0' 
344
'output_change_R3_Rise': '1' 
345
'output_change_R3_Fall': '1' 
346
'output_global': '1' 
347
'output_inhibited_R2_R3': '1' 
348
'output_unchanged_nop_R5': '0' 
349
'output_change_R3_Rise': '1' 
350
'output_change_R3_Fall': '1' 
351
'output_global': '0' 
352
'output_inhibited_R2_R3': '0' 
353
'output_unchanged_nop_R5': '0' 
354
'output_change_R3_Rise': '1' 
355
'output_change_R3_Fall': '1' 
356
'output_global': '1' 
357
'output_inhibited_R2_R3': '0' 
358
'output_unchanged_nop_R5': '0' 
359
'output_change_R3_Rise': '1' 
360
'output_change_R3_Fall': '1' 
361
'output_global': '1' 
362
'output_inhibited_R2_R3': '1' 
363
'output_unchanged_nop_R5': '1' 
364
'output_change_R3_Rise': '1' 
365
'output_change_R3_Fall': '1' 
366
'output_global': '0' 
367
'output_inhibited_R2_R3': '0' 
368
'output_unchanged_nop_R5': '1' 
369
'output_change_R3_Rise': '1' 
370
'output_change_R3_Fall': '1' 
371
'output_global': '0' 
372
'output_inhibited_R2_R3': '1' 
373
'output_unchanged_nop_R5': '1' 
374
'output_change_R3_Rise': '1' 
375
'output_change_R3_Fall': '0' 
376
'output_global': '0' 
377
'output_inhibited_R2_R3': '1' 
378
'output_unchanged_nop_R5': '1' 
379
'output_change_R3_Rise': '1' 
380
'output_change_R3_Fall': '1' 
381
'output_global': '1' 
382
'output_inhibited_R2_R3': '1' 
383
'output_unchanged_nop_R5': '0' 
384
'output_change_R3_Rise': '1' 
385
'output_change_R3_Fall': '1' 
386
'output_global': '1' 
387
'output_inhibited_R2_R3': '1' 
388
'output_unchanged_nop_R5': '1' 
389
'output_change_R3_Rise': '1' 
390
'output_change_R3_Fall': '1' 
391
'output_global': '0' 
392
'output_inhibited_R2_R3': '0' 
393
'output_unchanged_nop_R5': '0' 
394
'output_change_R3_Rise': '1' 
395
'output_change_R3_Fall': '1' 
396
'output_global': '0' 
397
'output_inhibited_R2_R3': '1' 
398
'output_unchanged_nop_R5': '0' 
399
'output_change_R3_Rise': '1' 
400
'output_change_R3_Fall': '1' 
401
'output_global': '1' 
402
'output_inhibited_R2_R3': '0' 
403
'output_unchanged_nop_R5': '0' 
404
'output_change_R3_Rise': '1' 
405
'output_change_R3_Fall': '1' 
406
'output_global': '0' 
407
'output_inhibited_R2_R3': '0' 
408
'output_unchanged_nop_R5': '0' 
409
'output_change_R3_Rise': '1' 
410
'output_change_R3_Fall': '0' 
411
'output_global': '1' 
412
'output_inhibited_R2_R3': '1' 
413
'output_unchanged_nop_R5': '1' 
414
'output_change_R3_Rise': '1' 
415
'output_change_R3_Fall': '1' 
416
'output_global': '0' 
417
'output_inhibited_R2_R3': '0' 
418
'output_unchanged_nop_R5': '1' 
419
'output_change_R3_Rise': '1' 
420
'output_change_R3_Fall': '1' 
421
'output_global': '1' 
422
'output_inhibited_R2_R3': '0' 
423
'output_unchanged_nop_R5': '1' 
424
'output_change_R3_Rise': '1' 
425
'output_change_R3_Fall': '1' 
426
'output_global': '1' 
427
'output_inhibited_R2_R3': '1' 
428
'output_unchanged_nop_R5': '1' 
429
'output_change_R3_Rise': '1' 
430
'output_change_R3_Fall': '0' 
431
'output_global': '1' 
432
'output_inhibited_R2_R3': '1' 
433
'output_unchanged_nop_R5': '1' 
434
'output_change_R3_Rise': '1' 
435
'output_change_R3_Fall': '1' 
436
'output_global': '1' 
437
'output_inhibited_R2_R3': '1' 
438
'output_unchanged_nop_R5': '1' 
439
'output_change_R3_Rise': '1' 
440
'output_change_R3_Fall': '0' 
441
'output_global': '0' 
442
'output_inhibited_R2_R3': '0' 
443
'output_unchanged_nop_R5': '1' 
444
'output_change_R3_Rise': '1' 
445
'output_change_R3_Fall': '1' 
446
'output_global': '1' 
447
'output_inhibited_R2_R3': '0' 
448
'output_unchanged_nop_R5': '0' 
449
'output_change_R3_Rise': '1' 
450
'output_change_R3_Fall': '1' 
451
'output_global': '0' 
452
'output_inhibited_R2_R3': '0' 
453
'output_unchanged_nop_R5': '0' 
454
'output_change_R3_Rise': '1' 
455
'output_change_R3_Fall': '1' 
456
'output_global': '0' 
457
'output_inhibited_R2_R3': '0' 
458
'output_unchanged_nop_R5': '0' 
459
'output_change_R3_Rise': '1' 
460
'output_change_R3_Fall': '1' 
461
'output_global': '1' 
462
'output_inhibited_R2_R3': '0' 
463
'output_unchanged_nop_R5': '0' 
464
'output_change_R3_Rise': '1' 
465
'output_change_R3_Fall': '1' 
466
'output_global': '1' 
467
'output_inhibited_R2_R3': '0' 
468
'output_unchanged_nop_R5': '0' 
469
'output_change_R3_Rise': '1' 
470
'output_change_R3_Fall': '1' 
471
'output_global': '1' 
472
'output_inhibited_R2_R3': '1' 
473
'output_unchanged_nop_R5': '1' 
474
'output_change_R3_Rise': '1' 
475
'output_change_R3_Fall': '0' 
476
'output_global': '0' 
477
'output_inhibited_R2_R3': '0' 
478
'output_unchanged_nop_R5': '1' 
479
'output_change_R3_Rise': '1' 
480
'output_change_R3_Fall': '1' 
481
'output_global': '0' 
482
'output_inhibited_R2_R3': '1' 
483
'output_unchanged_nop_R5': '1' 
484
'output_change_R3_Rise': '1' 
485
'output_change_R3_Fall': '1' 
486
'output_global': '0' 
487
'output_inhibited_R2_R3': '0' 
488
'output_unchanged_nop_R5': '1' 
489
'output_change_R3_Rise': '1' 
490
'output_change_R3_Fall': '1' 
491
'output_global': '0' 
492
'output_inhibited_R2_R3': '0' 
493
'output_unchanged_nop_R5': '1' 
494
'output_change_R3_Rise': '1' 
495
'output_change_R3_Fall': '1' 
496
'output_global': '1' 
497
'output_inhibited_R2_R3': '0' 
498
'output_unchanged_nop_R5': '1' 
499
'output_change_R3_Rise': '1' 
500
'output_change_R3_Fall': '1'