Newer
Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
Test Run By jahier on Wed Jun 24 14:57:00 2015
Native configuration is x86_64-unknown-linux-gnu
=== lus2lic-kcg tests ===
Schedule of variations:
unix
Running target unix
Running ./lus2lic.tests/kcg.exp ...
PASS: ./lus2lic {-kcg -o COUNTER_scade.lus COUNTER.lus -n COUNTER}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c COUNTER_scade.lus -node COUNTER
PASS: ./lus2lic {-kcg -o CURRENT_scade.lus CURRENT.lus -n CURRENT}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c CURRENT_scade.lus -node CURRENT
PASS: ./lus2lic {-kcg -o Condact_scade.lus Condact.lus -n Condact}
PASS: ./lus2lic {-kcg -o EDGE_scade.lus EDGE.lus -n EDGE}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c EDGE_scade.lus -node EDGE
PASS: ./lus2lic {-kcg -o ELMU_scade.lus ELMU.lus -n ELMU}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c ELMU_scade.lus -node ELMU
PASS: ./lus2lic {-kcg -o FALLING_EDGE_scade.lus FALLING_EDGE.lus -n FALLING_EDGE}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c FALLING_EDGE_scade.lus -node FALLING_EDGE
PASS: ./lus2lic {-kcg -o FillFollowedByRed_scade.lus FillFollowedByRed.lus -n FillFollowedByRed}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c FillFollowedByRed_scade.lus -node FillFollowedByRed
PASS: ./lus2lic {-kcg -o Gyroscope_scade.lus Gyroscope.lus -n Gyroscope}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c Gyroscope_scade.lus -node Gyroscope
PASS: ./lus2lic {-kcg -o Gyroscope2_scade.lus Gyroscope2.lus -n Gyroscope2}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c Gyroscope2_scade.lus -node Gyroscope2
PASS: ./lus2lic {-kcg -o Int_scade.lus Int.lus -n Int}
PASS: ./lus2lic {-kcg -o PCOND_scade.lus PCOND.lus -n PCOND}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c PCOND_scade.lus -node PCOND
PASS: ./lus2lic {-kcg -o PCOND1_scade.lus PCOND1.lus -n PCOND1}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c PCOND1_scade.lus -node PCOND1
PASS: ./lus2lic {-kcg -o SOURIS_scade.lus SOURIS.lus -n SOURIS}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c SOURIS_scade.lus -node SOURIS
PASS: ./lus2lic {-kcg -o STABLE_scade.lus STABLE.lus -n STABLE}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c STABLE_scade.lus -node STABLE
PASS: ./lus2lic {-kcg -o SWITCH_scade.lus SWITCH.lus -n SWITCH}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c SWITCH_scade.lus -node SWITCH
PASS: ./lus2lic {-kcg -o SWITCH1_scade.lus SWITCH1.lus -n SWITCH1}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c SWITCH1_scade.lus -node SWITCH1
PASS: ./lus2lic {-kcg -o TIME_STABLE_scade.lus TIME_STABLE.lus -n TIME_STABLE}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c TIME_STABLE_scade.lus -node TIME_STABLE
PASS: ./lus2lic {-kcg -o TIME_STABLE1_scade.lus TIME_STABLE1.lus -n TIME_STABLE1}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c TIME_STABLE1_scade.lus -node TIME_STABLE1
PASS: ./lus2lic {-kcg -o Watch_scade.lus Watch.lus -n Watch}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c Watch_scade.lus -node Watch
PASS: ./lus2lic {-kcg -o X_scade.lus X.lus -n X}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c X_scade.lus -node X
PASS: ./lus2lic {-kcg -o X2_scade.lus X2.lus -n X2}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c X2_scade.lus -node X2
PASS: ./lus2lic {-kcg -o X6_scade.lus X6.lus -n X6}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c X6_scade.lus -node X6
PASS: ./lus2lic {-kcg -o aa_scade.lus aa.lus -n aa}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c aa_scade.lus -node aa
PASS: ./lus2lic {-kcg -o access_scade.lus access.lus -n access}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c access_scade.lus -node access
PASS: ./lus2lic --expand-nodes {-kcg -o activation1_scade.lus activation1.lus -n activation1}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c activation1_scade.lus -node activation1
PASS: ./lus2lic --expand-nodes {-kcg -o activation2_scade.lus activation2.lus -n activation2}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c activation2_scade.lus -node activation2
PASS: ./lus2lic {-kcg -o activation_ec_scade.lus activation_ec.lus -n activation_ec}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c activation_ec_scade.lus -node activation_ec
PASS: ./lus2lic {-kcg -o after_scade.lus after.lus -n after}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c after_scade.lus -node after
PASS: ./lus2lic {-kcg -o alias_scade.lus alias.lus -n alias}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c alias_scade.lus -node alias
PASS: ./lus2lic {-kcg -o arbitre_scade.lus arbitre.lus -n arbitre}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c arbitre_scade.lus -node arbitre
PASS: ./lus2lic {-kcg -o argos_scade.lus argos.lus -n argos}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c argos_scade.lus -node argos
PASS: ./lus2lic {-kcg -o array_concat_scade.lus array_concat.lus -n array_concat}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c array_concat_scade.lus -node array_concat
PASS: ./lus2lic {-kcg -o array_concat2_scade.lus array_concat2.lus -n array_concat2}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c array_concat2_scade.lus -node array_concat2
PASS: ./lus2lic {-kcg -o arrays_scade.lus arrays.lus -n arrays}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c arrays_scade.lus -node arrays
PASS: ./lus2lic --expand-nodes {-kcg -o asservi_scade.lus asservi.lus -n asservi}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c asservi_scade.lus -node asservi
PASS: ./lus2lic {-kcg -o bad_call03_scade.lus bad_call03.lus -n bad_call03}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c bad_call03_scade.lus -node bad_call03
PASS: ./lus2lic {-kcg -o bascule_scade.lus bascule.lus -n bascule}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c bascule_scade.lus -node bascule
PASS: ./lus2lic {-kcg -o bob_scade.lus bob.lus -n bob}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c bob_scade.lus -node bob
PASS: ./lus2lic {-kcg -o bred_scade.lus bred.lus -n bred}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c bred_scade.lus -node bred
PASS: ./lus2lic {-kcg -o bred_lv4_scade.lus bred_lv4.lus -n bred_lv4}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c bred_lv4_scade.lus -node bred_lv4
PASS: ./lus2lic {-kcg -o bug_scade.lus bug.lus -n bug}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c bug_scade.lus -node bug
PASS: ./lus2lic {-kcg -o bug2_scade.lus bug2.lus -n bug2}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c bug2_scade.lus -node bug2
FAIL: Test -kcg : ./lus2lic {-kcg -o bug_map_fby_scade.lus bug_map_fby.lus -n bug_map_fby}
PASS: ./lus2lic {-kcg -o calculs_max_scade.lus calculs_max.lus -n calculs_max}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c calculs_max_scade.lus -node calculs_max
PASS: ./lus2lic {-kcg -o call_scade.lus call.lus -n call}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c call_scade.lus -node call
PASS: ./lus2lic {-kcg -o call01_scade.lus call01.lus -n call01}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c call01_scade.lus -node call01
PASS: ./lus2lic {-kcg -o call02_scade.lus call02.lus -n call02}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c call02_scade.lus -node call02
PASS: ./lus2lic {-kcg -o call03_scade.lus call03.lus -n call03}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c call03_scade.lus -node call03
PASS: ./lus2lic {-kcg -o call04_scade.lus call04.lus -n call04}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c call04_scade.lus -node call04
PASS: ./lus2lic {-kcg -o call05_scade.lus call05.lus -n call05}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c call05_scade.lus -node call05
PASS: ./lus2lic {-kcg -o call06_scade.lus call06.lus -n call06}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c call06_scade.lus -node call06
PASS: ./lus2lic {-kcg -o call07_scade.lus call07.lus -n call07}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c call07_scade.lus -node call07
PASS: ./lus2lic {-kcg -o carV2_scade.lus carV2.lus -n carV2}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c carV2_scade.lus -node carV2
FAIL: Test -kcg : ./lus2lic {-kcg -o carligths_scade.lus carligths.lus -n carligths}
PASS: ./lus2lic {-kcg -o ck2_scade.lus ck2.lus -n ck2}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c ck2_scade.lus -node ck2
PASS: ./lus2lic {-kcg -o ck3_scade.lus ck3.lus -n ck3}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c ck3_scade.lus -node ck3
PASS: ./lus2lic {-kcg -o ck4_scade.lus ck4.lus -n ck4}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c ck4_scade.lus -node ck4
PASS: ./lus2lic {-kcg -o ck5_scade.lus ck5.lus -n ck5}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c ck5_scade.lus -node ck5
PASS: ./lus2lic {-kcg -o ck6_scade.lus ck6.lus -n ck6}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c ck6_scade.lus -node ck6
PASS: ./lus2lic {-kcg -o ck7_scade.lus ck7.lus -n ck7}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c ck7_scade.lus -node ck7
PASS: ./lus2lic {-kcg -o clock1_2ms_scade.lus clock1_2ms.lus -n clock1_2ms}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c clock1_2ms_scade.lus -node clock1_2ms
PASS: ./lus2lic {-kcg -o clock_ite_scade.lus clock_ite.lus -n clock_ite}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c clock_ite_scade.lus -node clock_ite
PASS: ./lus2lic {-kcg -o cminus_scade.lus cminus.lus -n cminus}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c cminus_scade.lus -node cminus
PASS: ./lus2lic {-kcg -o complex_scade.lus complex.lus -n complex}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c complex_scade.lus -node complex
PASS: ./lus2lic {-kcg -o compteur_scade.lus compteur.lus -n compteur}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c compteur_scade.lus -node compteur
PASS: ./lus2lic {-kcg -o cond01_scade.lus cond01.lus -n cond01}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c cond01_scade.lus -node cond01
PASS: ./lus2lic {-kcg -o consensus_scade.lus consensus.lus -n consensus}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c consensus_scade.lus -node consensus
PASS: ./lus2lic {-kcg -o consensus2_scade.lus consensus2.lus -n consensus2}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c consensus2_scade.lus -node consensus2
PASS: ./lus2lic {-kcg -o contractForElementSelectionInArray_scade.lus contractForElementSelectionInArray.lus -n contractForElementSelectionInArray}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c contractForElementSelectionInArray_scade.lus -node contractForElementSelectionInArray
PASS: ./lus2lic {-kcg -o count_scade.lus count.lus -n count}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c count_scade.lus -node count
PASS: ./lus2lic {-kcg -o cpt_scade.lus cpt.lus -n cpt}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c cpt_scade.lus -node cpt
PASS: ./lus2lic {-kcg -o cst_scade.lus cst.lus -n cst}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c cst_scade.lus -node cst
PASS: ./lus2lic {-kcg -o deSimone_scade.lus deSimone.lus -n deSimone}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c deSimone_scade.lus -node deSimone
PASS: ./lus2lic {-kcg -o decl_scade.lus decl.lus -n decl}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c decl_scade.lus -node decl
PASS: ./lus2lic {-kcg -o declaration_scade.lus declaration.lus -n declaration}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c declaration_scade.lus -node declaration
PASS: ./lus2lic {-kcg -o deconne_scade.lus deconne.lus -n deconne}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c deconne_scade.lus -node deconne
PASS: ./lus2lic {-kcg -o dep_scade.lus dep.lus -n dep}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c dep_scade.lus -node dep
PASS: ./lus2lic {-kcg -o dependeur_scade.lus dependeur.lus -n dependeur}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c dependeur_scade.lus -node dependeur
PASS: ./lus2lic {-kcg -o dependeur_struct_scade.lus dependeur_struct.lus -n dependeur_struct}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c dependeur_struct_scade.lus -node dependeur_struct
PASS: ./lus2lic {-kcg -o double_delay_scade.lus double_delay.lus -n double_delay}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c double_delay_scade.lus -node double_delay
PASS: ./lus2lic {-kcg -o ec_scade.lus ec.lus -n ec}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c ec_scade.lus -node ec
PASS: ./lus2lic {-kcg -o enum0_scade.lus enum0.lus -n enum0}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c enum0_scade.lus -node enum0
PASS: ./lus2lic {-kcg -o ex_scade.lus ex.lus -n ex}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c ex_scade.lus -node ex
PASS: ./lus2lic {-kcg -o exclusion_scade.lus exclusion.lus -n exclusion}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c exclusion_scade.lus -node exclusion
PASS: ./lus2lic {-kcg -o filliter_scade.lus filliter.lus -n filliter}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c filliter_scade.lus -node filliter
PASS: ./lus2lic {-kcg -o filter_scade.lus filter.lus -n filter}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c filter_scade.lus -node filter
PASS: ./lus2lic {-kcg -o flo_scade.lus flo.lus -n flo}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c flo_scade.lus -node flo
PASS: ./lus2lic {-kcg -o followed_by_scade.lus followed_by.lus -n followed_by}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c followed_by_scade.lus -node followed_by
PASS: ./lus2lic {-kcg -o fresh_name_scade.lus fresh_name.lus -n fresh_name}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c fresh_name_scade.lus -node fresh_name
PASS: ./lus2lic {-kcg -o func_with_body_scade.lus func_with_body.lus -n func_with_body}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c func_with_body_scade.lus -node func_with_body
PASS: ./lus2lic {-kcg -o hanane_scade.lus hanane.lus -n hanane}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c hanane_scade.lus -node hanane
PASS: ./lus2lic {-kcg -o heater_control_scade.lus heater_control.lus -n heater_control}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c heater_control_scade.lus -node heater_control
PASS: ./lus2lic {-kcg -o impl_priority_scade.lus impl_priority.lus -n impl_priority}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c impl_priority_scade.lus -node impl_priority
PASS: ./lus2lic {-kcg -o import1_scade.lus import1.lus -n import1}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c import1_scade.lus -node import1
PASS: ./lus2lic {-kcg -o initial_scade.lus initial.lus -n initial}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c initial_scade.lus -node initial
PASS: ./lus2lic {-kcg -o integrator_scade.lus integrator.lus -n integrator}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c integrator_scade.lus -node integrator
PASS: ./lus2lic {-kcg -o is_stable_scade.lus is_stable.lus -n is_stable}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c is_stable_scade.lus -node is_stable
PASS: ./lus2lic {-kcg -o iter_scade.lus iter.lus -n iter}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c iter_scade.lus -node iter
PASS: ./lus2lic {-kcg -o iterFibo_scade.lus iterFibo.lus -n iterFibo}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c iterFibo_scade.lus -node iterFibo
PASS: ./lus2lic {-kcg -o iterate_scade.lus iterate.lus -n iterate}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c iterate_scade.lus -node iterate
PASS: ./lus2lic {-kcg -o left_scade.lus left.lus -n left}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c left_scade.lus -node left
PASS: ./lus2lic {-kcg -o long_et_stupide_nom_de_noeud_scade.lus long_et_stupide_nom_de_noeud.lus -n long_et_stupide_nom_de_noeud}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c long_et_stupide_nom_de_noeud_scade.lus -node long_et_stupide_nom_de_noeud
PASS: ./lus2lic {-kcg -o lucky_scade.lus lucky.lus -n lucky}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c lucky_scade.lus -node lucky
PASS: ./lus2lic {-kcg -o lustre_scade.lus lustre.lus -n lustre}
PASS: ./lus2lic {-kcg -o lustre_test1_ok_scade.lus lustre_test1_ok.lus -n lustre_test1_ok}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c lustre_test1_ok_scade.lus -node lustre_test1_ok
PASS: ./lus2lic {-kcg -o map_scade.lus map.lus -n map}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c map_scade.lus -node map
PASS: ./lus2lic {-kcg -o map_red_iter_scade.lus map_red_iter.lus -n map_red_iter}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c map_red_iter_scade.lus -node map_red_iter
PASS: ./lus2lic {-kcg -o mapdeRed_scade.lus mapdeRed.lus -n mapdeRed}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c mapdeRed_scade.lus -node mapdeRed
PASS: ./lus2lic {-kcg -o mapinf_scade.lus mapinf.lus -n mapinf}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c mapinf_scade.lus -node mapinf
PASS: ./lus2lic {-kcg -o mapiter_scade.lus mapiter.lus -n mapiter}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c mapiter_scade.lus -node mapiter
PASS: ./lus2lic {-kcg -o mappredef_scade.lus mappredef.lus -n mappredef}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c mappredef_scade.lus -node mappredef
PASS: ./lus2lic {-kcg -o matrice_scade.lus matrice.lus -n matrice}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c matrice_scade.lus -node matrice
PASS: ./lus2lic {-kcg -o matrice2_scade.lus matrice2.lus -n matrice2}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c matrice2_scade.lus -node matrice2
PASS: ./lus2lic {-kcg -o minmax1_scade.lus minmax1.lus -n minmax1}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c minmax1_scade.lus -node minmax1
PASS: ./lus2lic {-kcg -o minmax2_scade.lus minmax2.lus -n minmax2}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c minmax2_scade.lus -node minmax2
PASS: ./lus2lic {-kcg -o minmax3_scade.lus minmax3.lus -n minmax3}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c minmax3_scade.lus -node minmax3
PASS: ./lus2lic {-kcg -o minmax4_scade.lus minmax4.lus -n minmax4}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c minmax4_scade.lus -node minmax4
PASS: ./lus2lic {-kcg -o minmax4_bis_scade.lus minmax4_bis.lus -n minmax4_bis}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c minmax4_bis_scade.lus -node minmax4_bis
PASS: ./lus2lic {-kcg -o minmax5_scade.lus minmax5.lus -n minmax5}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c minmax5_scade.lus -node minmax5
PASS: ./lus2lic {-kcg -o minmax5_random_scade.lus minmax5_random.lus -n minmax5_random}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c minmax5_random_scade.lus -node minmax5_random
PASS: ./lus2lic {-kcg -o minmax6_scade.lus minmax6.lus -n minmax6}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c minmax6_scade.lus -node minmax6
PASS: ./lus2lic {-kcg -o minus_scade.lus minus.lus -n minus}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c minus_scade.lus -node minus
PASS: ./lus2lic {-kcg -o mm_scade.lus mm.lus -n mm}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c mm_scade.lus -node mm
PASS: ./lus2lic {-kcg -o mm1_scade.lus mm1.lus -n mm1}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c mm1_scade.lus -node mm1
PASS: ./lus2lic {-kcg -o mm22_scade.lus mm22.lus -n mm22}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c mm22_scade.lus -node mm22
PASS: ./lus2lic {-kcg -o mm3_scade.lus mm3.lus -n mm3}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c mm3_scade.lus -node mm3
PASS: ./lus2lic {-kcg -o model_scade.lus model.lus -n model}
PASS: ./lus2lic {-kcg -o model2_scade.lus model2.lus -n model2}
PASS: ./lus2lic {-kcg -o modelInst_scade.lus modelInst.lus -n modelInst}
PASS: ./lus2lic {-kcg -o modes3x2_v2_scade.lus modes3x2_v2.lus -n modes3x2_v2}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c modes3x2_v2_scade.lus -node modes3x2_v2
PASS: ./lus2lic {-kcg -o modes3x2_v3_scade.lus modes3x2_v3.lus -n modes3x2_v3}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c modes3x2_v3_scade.lus -node modes3x2_v3
PASS: ./lus2lic {-kcg -o modes3x2_v4_scade.lus modes3x2_v4.lus -n modes3x2_v4}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c modes3x2_v4_scade.lus -node modes3x2_v4
PASS: ./lus2lic {-kcg -o morel_scade.lus morel.lus -n morel}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c morel_scade.lus -node morel
PASS: ./lus2lic {-kcg -o morel2_scade.lus morel2.lus -n morel2}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c morel2_scade.lus -node morel2
PASS: ./lus2lic {-kcg -o morel3_scade.lus morel3.lus -n morel3}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c morel3_scade.lus -node morel3
PASS: ./lus2lic {-kcg -o morel4_scade.lus morel4.lus -n morel4}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c morel4_scade.lus -node morel4
PASS: ./lus2lic {-kcg -o morel5_scade.lus morel5.lus -n morel5}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c morel5_scade.lus -node morel5
PASS: ./lus2lic {-kcg -o mouse_scade.lus mouse.lus -n mouse}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c mouse_scade.lus -node mouse
PASS: ./lus2lic {-kcg -o mouse1_scade.lus mouse1.lus -n mouse1}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c mouse1_scade.lus -node mouse1
PASS: ./lus2lic {-kcg -o mouse2_scade.lus mouse2.lus -n mouse2}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c mouse2_scade.lus -node mouse2
PASS: ./lus2lic {-kcg -o mouse3_scade.lus mouse3.lus -n mouse3}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c mouse3_scade.lus -node mouse3
PASS: ./lus2lic {-kcg -o moyenne_scade.lus moyenne.lus -n moyenne}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c moyenne_scade.lus -node moyenne
PASS: ./lus2lic {-kcg -o multiclock_scade.lus multiclock.lus -n multiclock}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c multiclock_scade.lus -node multiclock
PASS: ./lus2lic {-kcg -o multipar_scade.lus multipar.lus -n multipar}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c multipar_scade.lus -node multipar
PASS: ./lus2lic {-kcg -o nc1_scade.lus nc1.lus -n nc1}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c nc1_scade.lus -node nc1
PASS: ./lus2lic {-kcg -o nc10_scade.lus nc10.lus -n nc10}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c nc10_scade.lus -node nc10
PASS: ./lus2lic {-kcg -o nc2_scade.lus nc2.lus -n nc2}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c nc2_scade.lus -node nc2
PASS: ./lus2lic {-kcg -o nc3_scade.lus nc3.lus -n nc3}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c nc3_scade.lus -node nc3
PASS: ./lus2lic {-kcg -o nc4_scade.lus nc4.lus -n nc4}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c nc4_scade.lus -node nc4
PASS: ./lus2lic {-kcg -o nc5_scade.lus nc5.lus -n nc5}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c nc5_scade.lus -node nc5
PASS: ./lus2lic {-kcg -o nc6_scade.lus nc6.lus -n nc6}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c nc6_scade.lus -node nc6
PASS: ./lus2lic {-kcg -o nc7_scade.lus nc7.lus -n nc7}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c nc7_scade.lus -node nc7
PASS: ./lus2lic {-kcg -o nc8_scade.lus nc8.lus -n nc8}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c nc8_scade.lus -node nc8
PASS: ./lus2lic {-kcg -o nc9_scade.lus nc9.lus -n nc9}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c nc9_scade.lus -node nc9
PASS: ./lus2lic {-kcg -o nested_scade.lus nested.lus -n nested}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c nested_scade.lus -node nested
PASS: ./lus2lic {-kcg -o newpacks_scade.lus newpacks.lus -n newpacks}
PASS: ./lus2lic {-kcg -o noAlarm_scade.lus noAlarm.lus -n noAlarm}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c noAlarm_scade.lus -node noAlarm
PASS: ./lus2lic {-kcg -o node_caller1_scade.lus node_caller1.lus -n node_caller1}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c node_caller1_scade.lus -node node_caller1
PASS: ./lus2lic {-kcg -o nodeparam_scade.lus nodeparam.lus -n nodeparam}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c nodeparam_scade.lus -node nodeparam
PASS: ./lus2lic {-kcg -o noeudsIndependants_scade.lus noeudsIndependants.lus -n noeudsIndependants}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c noeudsIndependants_scade.lus -node noeudsIndependants
PASS: ./lus2lic {-kcg -o normal_scade.lus normal.lus -n normal}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c normal_scade.lus -node normal
PASS: ./lus2lic {-kcg -o notTwo_scade.lus notTwo.lus -n notTwo}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c notTwo_scade.lus -node notTwo
PASS: ./lus2lic {-kcg -o o2l_feux_compl_scade.lus o2l_feux_compl.lus -n o2l_feux_compl}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c o2l_feux_compl_scade.lus -node o2l_feux_compl
PASS: ./lus2lic {-kcg -o oneq_scade.lus oneq.lus -n oneq}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c oneq_scade.lus -node oneq
PASS: ./lus2lic {-kcg -o onlyroll_scade.lus onlyroll.lus -n onlyroll}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c onlyroll_scade.lus -node onlyroll
PASS: ./lus2lic {-kcg -o onlyroll2_scade.lus onlyroll2.lus -n onlyroll2}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c onlyroll2_scade.lus -node onlyroll2
PASS: ./lus2lic {-kcg -o over2_scade.lus over2.lus -n over2}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c over2_scade.lus -node over2
PASS: ./lus2lic {-kcg -o over3_scade.lus over3.lus -n over3}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c over3_scade.lus -node over3
PASS: ./lus2lic {-kcg -o overload_scade.lus overload.lus -n overload}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c overload_scade.lus -node overload
PASS: ./lus2lic {-kcg -o p_scade.lus p.lus -n p}
PASS: ./lus2lic {-kcg -o pack1_scade.lus pack1.lus -n pack1}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c pack1_scade.lus -node pack1
PASS: ./lus2lic {-kcg -o packageTableau_scade.lus packageTableau.lus -n packageTableau}
PASS: ./lus2lic {-kcg -o packed_cst_scade.lus packed_cst.lus -n packed_cst}
PASS: ./lus2lic {-kcg -o packs_scade.lus packs.lus -n packs}
PASS: ./lus2lic {-kcg -o param_node_scade.lus param_node.lus -n param_node}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c param_node_scade.lus -node param_node
PASS: ./lus2lic {-kcg -o param_node2_scade.lus param_node2.lus -n param_node2}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c param_node2_scade.lus -node param_node2
PASS: ./lus2lic {-kcg -o param_node3_scade.lus param_node3.lus -n param_node3}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c param_node3_scade.lus -node param_node3
PASS: ./lus2lic {-kcg -o param_node4_scade.lus param_node4.lus -n param_node4}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c param_node4_scade.lus -node param_node4
PASS: ./lus2lic {-kcg -o param_struct_scade.lus param_struct.lus -n param_struct}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c param_struct_scade.lus -node param_struct
PASS: ./lus2lic {-kcg -o pilote-1.0_scade.lus pilote-1.0.lus -n pilote-1.0}
PASS: ./lus2lic {-kcg -o pipeline_scade.lus pipeline.lus -n pipeline}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c pipeline_scade.lus -node pipeline
PASS: ./lus2lic {-kcg -o plus_scade.lus plus.lus -n plus}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c plus_scade.lus -node plus
PASS: ./lus2lic {-kcg -o ply01_scade.lus ply01.lus -n ply01}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c ply01_scade.lus -node ply01
PASS: ./lus2lic {-kcg -o ply02_scade.lus ply02.lus -n ply02}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c ply02_scade.lus -node ply02
PASS: ./lus2lic {-kcg -o ply03_scade.lus ply03.lus -n ply03}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c ply03_scade.lus -node ply03
PASS: ./lus2lic {-kcg -o polymorphic_pack_scade.lus polymorphic_pack.lus -n polymorphic_pack}
PASS: ./lus2lic {-kcg -o poussoir_scade.lus poussoir.lus -n poussoir}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c poussoir_scade.lus -node poussoir
FAIL: Test -kcg : ./lus2lic {-kcg -o pplus_scade.lus pplus.lus -n pplus}
PASS: ./lus2lic {-kcg -o pre_x_scade.lus pre_x.lus -n pre_x}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c pre_x_scade.lus -node pre_x
PASS: ./lus2lic {-kcg -o predef01_scade.lus predef01.lus -n predef01}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c predef01_scade.lus -node predef01
PASS: ./lus2lic {-kcg -o predef02_scade.lus predef02.lus -n predef02}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c predef02_scade.lus -node predef02
PASS: ./lus2lic {-kcg -o predef03_scade.lus predef03.lus -n predef03}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c predef03_scade.lus -node predef03
PASS: ./lus2lic {-kcg -o predefOp_scade.lus predefOp.lus -n predefOp}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c predefOp_scade.lus -node predefOp
PASS: ./lus2lic {-kcg -o produitBool_scade.lus produitBool.lus -n produitBool}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c produitBool_scade.lus -node produitBool
PASS: ./lus2lic {-kcg -o redIf_scade.lus redIf.lus -n redIf}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c redIf_scade.lus -node redIf
PASS: ./lus2lic {-kcg -o rediter_scade.lus rediter.lus -n rediter}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c rediter_scade.lus -node rediter
PASS: ./lus2lic {-kcg -o redoptest_scade.lus redoptest.lus -n redoptest}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c redoptest_scade.lus -node redoptest
PASS: ./lus2lic {-kcg -o remplissage-1.0_scade.lus remplissage-1.0.lus -n remplissage-1.0}
PASS: ./lus2lic {-kcg -o rs_scade.lus rs.lus -n rs}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c rs_scade.lus -node rs
PASS: ./lus2lic {-kcg -o sample_time_change_scade.lus sample_time_change.lus -n sample_time_change}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c sample_time_change_scade.lus -node sample_time_change
PASS: ./lus2lic {-kcg -o sample_time_change_MainNode_scade.lus sample_time_change_MainNode.lus -n sample_time_change_MainNode}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c sample_time_change_MainNode_scade.lus -node sample_time_change_MainNode
PASS: ./lus2lic {-kcg -o shiftFill_ludic_scade.lus shiftFill_ludic.lus -n shiftFill_ludic}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c shiftFill_ludic_scade.lus -node shiftFill_ludic
PASS: ./lus2lic {-kcg -o shift_ludic_scade.lus shift_ludic.lus -n shift_ludic}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c shift_ludic_scade.lus -node shift_ludic
PASS: ./lus2lic {-kcg -o simple_scade.lus simple.lus -n simple}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c simple_scade.lus -node simple
PASS: ./lus2lic {-kcg -o simpleRed_scade.lus simpleRed.lus -n simpleRed}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c simpleRed_scade.lus -node simpleRed
PASS: ./lus2lic {-kcg -o sincos_scade.lus sincos.lus -n sincos}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c sincos_scade.lus -node sincos
PASS: ./lus2lic --expand-nodes {-kcg -o speedcontrol_scade.lus speedcontrol.lus -n speedcontrol}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c speedcontrol_scade.lus -node speedcontrol
PASS: ./lus2lic {-kcg -o stopwatch_scade.lus stopwatch.lus -n stopwatch}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c stopwatch_scade.lus -node stopwatch
PASS: ./lus2lic {-kcg -o struct0_scade.lus struct0.lus -n struct0}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c struct0_scade.lus -node struct0
PASS: ./lus2lic {-kcg -o struct_with_scade.lus struct_with.lus -n struct_with}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c struct_with_scade.lus -node struct_with
PASS: ./lus2lic {-kcg -o t0_scade.lus t0.lus -n t0}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c t0_scade.lus -node t0
PASS: ./lus2lic {-kcg -o t1_scade.lus t1.lus -n t1}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c t1_scade.lus -node t1
PASS: ./lus2lic {-kcg -o t2_scade.lus t2.lus -n t2}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c t2_scade.lus -node t2
PASS: ./lus2lic {-kcg -o test_scade.lus test.lus -n test}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_scade.lus -node test
PASS: ./lus2lic {-kcg -o testBoite_scade.lus testBoite.lus -n testBoite}
PASS: ./lus2lic {-kcg -o testCA_scade.lus testCA.lus -n testCA}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c testCA_scade.lus -node testCA
PASS: ./lus2lic {-kcg -o testCapt_scade.lus testCapt.lus -n testCapt}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c testCapt_scade.lus -node testCapt
PASS: ./lus2lic {-kcg -o testPilote_scade.lus testPilote.lus -n testPilote}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c testPilote_scade.lus -node testPilote
PASS: ./lus2lic {-kcg -o test_arrow_scade.lus test_arrow.lus -n test_arrow}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_arrow_scade.lus -node test_arrow
PASS: ./lus2lic {-kcg -o test_boolred_scade.lus test_boolred.lus -n test_boolred}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_boolred_scade.lus -node test_boolred
PASS: ./lus2lic {-kcg -o test_clash_scade.lus test_clash.lus -n test_clash}
PASS: ./lus2lic {-kcg -o test_condact_scade.lus test_condact.lus -n test_condact}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_condact_scade.lus -node test_condact
PASS: ./lus2lic {-kcg -o test_const_scade.lus test_const.lus -n test_const}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_const_scade.lus -node test_const
PASS: ./lus2lic {-kcg -o test_diese_scade.lus test_diese.lus -n test_diese}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_diese_scade.lus -node test_diese
PASS: ./lus2lic {-kcg -o test_enum_scade.lus test_enum.lus -n test_enum}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_enum_scade.lus -node test_enum
PASS: ./lus2lic {-kcg -o test_extern_scade.lus test_extern.lus -n test_extern}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_extern_scade.lus -node test_extern
PASS: ./lus2lic {-kcg -o test_map_scade.lus test_map.lus -n test_map}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_map_scade.lus -node test_map
PASS: ./lus2lic {-kcg -o test_merge_scade.lus test_merge.lus -n test_merge}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_merge_scade.lus -node test_merge
PASS: ./lus2lic {-kcg -o test_node_expand_scade.lus test_node_expand.lus -n test_node_expand}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_node_expand_scade.lus -node test_node_expand
PASS: ./lus2lic {-kcg -o test_node_expand2_scade.lus test_node_expand2.lus -n test_node_expand2}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_node_expand2_scade.lus -node test_node_expand2
PASS: ./lus2lic {-kcg -o test_poly_scade.lus test_poly.lus -n test_poly}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_poly_scade.lus -node test_poly
PASS: ./lus2lic {-kcg -o test_struct_scade.lus test_struct.lus -n test_struct}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_struct_scade.lus -node test_struct
PASS: ./lus2lic {-kcg -o titi_scade.lus titi.lus -n titi}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c titi_scade.lus -node titi
PASS: ./lus2lic {-kcg -o toolate_scade.lus toolate.lus -n toolate}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c toolate_scade.lus -node toolate
PASS: ./lus2lic {-kcg -o toto_scade.lus toto.lus -n toto}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c toto_scade.lus -node toto
PASS: ./lus2lic {-kcg -o tranche_scade.lus tranche.lus -n tranche}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c tranche_scade.lus -node tranche
PASS: ./lus2lic {-kcg -o tri_scade.lus tri.lus -n tri}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c tri_scade.lus -node tri
PASS: ./lus2lic {-kcg -o triSel_scade.lus triSel.lus -n triSel}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c triSel_scade.lus -node triSel
PASS: ./lus2lic {-kcg -o trivial_scade.lus trivial.lus -n trivial}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c trivial_scade.lus -node trivial
PASS: ./lus2lic {-kcg -o trivial2_scade.lus trivial2.lus -n trivial2}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c trivial2_scade.lus -node trivial2
PASS: ./lus2lic {-kcg -o trivial_array_scade.lus trivial_array.lus -n trivial_array}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c trivial_array_scade.lus -node trivial_array
PASS: ./lus2lic {-kcg -o ts01_scade.lus ts01.lus -n ts01}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c ts01_scade.lus -node ts01
PASS: ./lus2lic {-kcg -o ts04_scade.lus ts04.lus -n ts04}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c ts04_scade.lus -node ts04
PASS: ./lus2lic {-kcg -o tuple_scade.lus tuple.lus -n tuple}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c tuple_scade.lus -node tuple
PASS: ./lus2lic {-kcg -o type_decl_scade.lus type_decl.lus -n type_decl}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c type_decl_scade.lus -node type_decl
PASS: ./lus2lic {-kcg -o uu_scade.lus uu.lus -n uu}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c uu_scade.lus -node uu
PASS: ./lus2lic {-kcg -o v1_scade.lus v1.lus -n v1}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c v1_scade.lus -node v1
PASS: ./lus2lic {-kcg -o when_tuple_scade.lus when_tuple.lus -n when_tuple}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c when_tuple_scade.lus -node when_tuple
PASS: ./lus2lic {-kcg -o xx_scade.lus xx.lus -n xx}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c xx_scade.lus -node xx
PASS: ./lus2lic {-kcg -o xxx_scade.lus xxx.lus -n xxx}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c xxx_scade.lus -node xxx
PASS: ./lus2lic {-kcg -o yyy_scade.lus yyy.lus -n yyy}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c yyy_scade.lus -node yyy
PASS: ./lus2lic {-kcg -o zzz_scade.lus zzz.lus -n zzz}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c zzz_scade.lus -node zzz
PASS: ./lus2lic {-kcg -o zzz2_scade.lus zzz2.lus -n zzz2}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c zzz2_scade.lus -node zzz2
=== lus2lic-kcg Summary ===
# of expected passes 302
# of unexpected failures 185