Newer
Older
Test Run By jahier on Fri Aug 22 17:33:17
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
Native configuration is i686-pc-linux-gnu
=== lus2lic0 tests ===
Schedule of variations:
unix
Running target unix
Running ./lus2lic.tests/test0.exp ...
PASS: ./lus2lic -unit
XFAIL: Test bad programs (syntax): test_lus2lic_no_node should_fail/syntax/old_style_and_pack.lus
XFAIL: Test bad programs (syntax): test_lus2lic_no_node should_fail/syntax/record.lus
XFAIL: Test bad programs (type): test_lus2lic_no_node should_fail/type/parametric_node3.lus
XFAIL: Test bad programs (type): test_lus2lic_no_node should_fail/type/parametric_node.lus
XFAIL: Test bad programs (type): test_lus2lic_no_node should_fail/type/t1.lus
XFAIL: Test bad programs (type): test_lus2lic_no_node should_fail/type/merge_bad_enum.lus
XFAIL: Test bad programs (type): test_lus2lic_no_node should_fail/type/condact2.lus
XFAIL: Test bad programs (type): test_lus2lic_no_node should_fail/type/merge_bad_type.lus
XFAIL: Test bad programs (type): test_lus2lic_no_node should_fail/type/packages.lus
XFAIL: Test bad programs (type): test_lus2lic_no_node should_fail/type/packages2.lus
XFAIL: Test bad programs (type): test_lus2lic_no_node should_fail/type/Gyro.lus
XFAIL: Test bad programs (type): test_lus2lic_no_node should_fail/type/merge_bad.lus
XFAIL: Test bad programs (type): test_lus2lic_no_node should_fail/type/merge_bad_clk.lus
XFAIL: Test bad programs (type): test_lus2lic_no_node should_fail/type/parametric_node4.lus
XFAIL: Test bad programs (type): test_lus2lic_no_node should_fail/type/merge_node.lus
XFAIL: Test bad programs (type): test_lus2lic_no_node should_fail/type/merge_not_exhaustive.lus
XFAIL: Test bad programs (type): test_lus2lic_no_node should_fail/type/const2.lus
XFAIL: Test bad programs (type): test_lus2lic_no_node should_fail/type/ts02.lus
XFAIL: Test bad programs (type): test_lus2lic_no_node should_fail/type/parametric_node2.lus
XFAIL: Test bad programs (type): test_lus2lic_no_node should_fail/type/Gyro2.lus
XFAIL: Test bad programs (clock): test_lus2lic_no_node should_fail/clock/when_enum.lus
XFAIL: Test bad programs (clock): test_lus2lic_no_node should_fail/clock/bad_call02.lus
XFAIL: Test bad programs (clock): test_lus2lic_no_node should_fail/clock/inonout.lus
XFAIL: Test bad programs (clock): test_lus2lic_no_node should_fail/clock/clock.lus
XFAIL: Test bad programs (clock): test_lus2lic_no_node should_fail/clock/bad_id.lus
XFAIL: Test bad programs (clock): test_lus2lic_no_node should_fail/clock/clock2.lus
XFAIL: Test bad programs (semantics): test_lus2lic_no_node should_fail/semantics/aux.lus
XFAIL: Test bad programs (semantics): test_lus2lic_no_node should_fail/semantics/deploop.lus
XFAIL: Test bad programs (semantics): test_lus2lic_no_node should_fail/semantics/const3.lus
XFAIL: Test bad programs (semantics): test_lus2lic_no_node should_fail/semantics/not_a_constant.lus
XFAIL: Test bad programs (semantics): test_lus2lic_no_node should_fail/semantics/X1.lus
XFAIL: Test bad programs (semantics): test_lus2lic_no_node should_fail/semantics/sincos.lus
XFAIL: Test bad programs (semantics): test_lus2lic_no_node should_fail/semantics/test_const.lus
XFAIL: Test bad programs (semantics): test_lus2lic_no_node should_fail/semantics/import2.lus
XFAIL: Test bad programs (semantics): test_lus2lic_no_node should_fail/semantics/bad_call01.lus
XFAIL: Test bad programs (semantics): test_lus2lic_no_node should_fail/semantics/x.lus
XFAIL: Test bad programs (semantics): test_lus2lic_no_node should_fail/semantics/aux1.lus
XFAIL: Test bad programs (semantics): test_lus2lic_no_node should_fail/semantics/t.lus
XFAIL: Test bad programs (semantics): test_lus2lic_no_node should_fail/semantics/parametric_node4.lus
XFAIL: Test bad programs (semantics): test_lus2lic_no_node should_fail/semantics/const2.lus
XFAIL: Test bad programs (semantics): test_lus2lic_no_node should_fail/semantics/sargs.lus
XFAIL: Test bad programs (semantics): test_lus2lic_no_node should_fail/semantics/patrick.lus
XFAIL: Test bad programs (semantics): test_lus2lic_no_node should_fail/semantics/m.lus
XFAIL: Test bad programs (exec): test_lus2lic_no_node should_fail/exec/X3.lus
XFAIL: Test bad programs (assert): test_lus2lic_no_node should_fail/assert/assertion.lus
XFAIL: Test bad programs (assert): test_lus2lic_no_node should_fail/assert/alarme.lus
XFAIL: Test bad programs (assert): test_lus2lic_no_node should_fail/assert/lecteur.lus
XFAIL: Test bad programs (assert): test_lus2lic_no_node should_fail/assert/drapfab.lus
XFAIL: Test bad programs (assert): test_lus2lic_no_node should_fail/assert/s.lus
XFAIL: Test bad programs (assert): test_lus2lic_no_node should_fail/assert/eq1.lus
=== lus2lic0 Summary ===
# of expected passes 1
# of expected failures 50
Test Run By jahier on Fri Aug 22 17:34:34
Native configuration is i686-pc-linux-gnu
=== lus2lic1 tests ===
Schedule of variations:
unix
Running target unix
Running ./lus2lic.tests/test1.exp ...
PASS: ./lus2lic {-2c argos.lus -n argos}
PASS: gcc argos_argos.c argos_argos_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c argos.lus
PASS: ./lus2lic {-2c access.lus -n access}
PASS: gcc access_access.c access_access_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c access.lus
PASS: ./lus2lic {-2c array_concat2.lus -n array_concat2}
PASS: gcc array_concat2_array_concat2.c array_concat2_array_concat2_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c array_concat2.lus
PASS: ./lus2lic {-2c arbitre.lus -n arbitre}
FAIL: Check that the generated C code compiles : gcc arbitre_arbitre.c arbitre_arbitre_ext.c arbitre_arbitre_loop.c
PASS: ./lus2lic {-2c activation_ec.lus -n activation_ec}
PASS: gcc activation_ec_activation_ec.c activation_ec_activation_ec_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c activation_ec.lus
FAIL: Generate c code : ./lus2lic {-2c activation2.lus -n activation2}
PASS: ./lus2lic {-2c aa.lus -n aa}
PASS: gcc aa_aa.c aa_aa_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c aa.lus
PASS: ./lus2lic {-2c array_concat.lus -n array_concat}
PASS: gcc array_concat_array_concat.c array_concat_array_concat_loop.c
Erwan Jahier
committed
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c array_concat.lus
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
FAIL: Generate c code : ./lus2lic {-2c activation1.lus -n activation1}
FAIL: Generate c code : ./lus2lic {-2c asservi.lus -n asservi}
PASS: ./lus2lic {-2c alias.lus -n alias}
PASS: gcc alias_alias.c alias_alias_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c alias.lus
PASS: ./lus2lic {-2c after.lus -n after}
PASS: gcc after_after.c after_after_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c after.lus
PASS: ./lus2lic {-2c arrays.lus -n arrays}
PASS: gcc arrays_arrays.c arrays_arrays_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c arrays.lus
PASS: ./lus2lic {-2c bug2.lus -n bug2}
PASS: gcc bug2_bug2.c bug2_bug2_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bug2.lus
PASS: ./lus2lic {-2c bascule.lus -n bascule}
PASS: gcc bascule_bascule.c bascule_bascule_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bascule.lus
PASS: ./lus2lic {-2c bred.lus -n bred}
PASS: gcc bred_bred.c bred_bred_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bred.lus
PASS: ./lus2lic {-2c bad_call03.lus -n bad_call03}
PASS: gcc bad_call03_bad_call03.c bad_call03_bad_call03_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bad_call03.lus
PASS: ./lus2lic {-2c bob.lus -n bob}
PASS: gcc bob_bob.c bob_bob_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bob.lus
PASS: ./lus2lic {-2c bug.lus -n bug}
PASS: gcc bug_bug.c bug_bug_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bug.lus
PASS: ./lus2lic {-2c bred_lv4.lus -n bred_lv4}
PASS: gcc bred_lv4_bred_lv4.c bred_lv4_bred_lv4_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bred_lv4.lus
PASS: ./lus2lic {-2c ck5.lus -n ck5}
PASS: gcc ck5_ck5.c ck5_ck5_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ck5.lus
PASS: ./lus2lic {-2c ck6.lus -n ck6}
PASS: gcc ck6_ck6.c ck6_ck6_ext.c ck6_ck6_loop.c
PASS: ./lus2lic {-2c cminus.lus -n cminus}
PASS: gcc cminus_cminus.c cminus_cminus_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c cminus.lus
PASS: ./lus2lic {-2c consensus2.lus -n consensus2}
PASS: gcc consensus2_consensus2.c consensus2_consensus2_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c consensus2.lus
PASS: ./lus2lic {-2c call06.lus -n call06}
PASS: gcc call06_call06.c call06_call06_ext.c call06_call06_loop.c
PASS: ./lus2lic {-2c call05.lus -n call05}
PASS: gcc call05_call05.c call05_call05_ext.c call05_call05_loop.c
PASS: ./lus2lic {-2c cst.lus -n cst}
PASS: gcc cst_cst.c cst_cst_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c cst.lus
PASS: ./lus2lic {-2c call04.lus -n call04}
PASS: gcc call04_call04.c call04_call04_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c call04.lus
PASS: ./lus2lic {-2c call07.lus -n call07}
PASS: gcc call07_call07.c call07_call07_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c call07.lus
PASS: ./lus2lic {-2c calculs_max.lus -n calculs_max}
PASS: gcc calculs_max_calculs_max.c calculs_max_calculs_max_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c calculs_max.lus
PASS: ./lus2lic {-2c clock_ite.lus -n clock_ite}
PASS: gcc clock_ite_clock_ite.c clock_ite_clock_ite_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c clock_ite.lus
PASS: ./lus2lic {-2c complex.lus -n complex}
PASS: gcc complex_complex.c complex_complex_loop.c
PASS: ./lus2lic {-2c call.lus -n call}
PASS: gcc call_call.c call_call_ext.c call_call_loop.c
PASS: ./lus2lic {-2c compteur.lus -n compteur}
PASS: gcc compteur_compteur.c compteur_compteur_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c compteur.lus
PASS: ./lus2lic {-2c carV2.lus -n carV2}
PASS: gcc carV2_carV2.c carV2_carV2_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c carV2.lus
PASS: ./lus2lic {-2c cpt.lus -n cpt}
PASS: gcc cpt_cpt.c cpt_cpt_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c cpt.lus
PASS: ./lus2lic {-2c consensus.lus -n consensus}
PASS: gcc consensus_consensus.c consensus_consensus_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c consensus.lus
PASS: ./lus2lic {-2c contractForElementSelectionInArray.lus -n contractForElementSelectionInArray}
PASS: gcc contractForElementSelectionInArray_contractForElementSelectionInArray.c contractForElementSelectionInArray_contractForElementSelectionInArray_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c contractForElementSelectionInArray.lus
PASS: ./lus2lic {-2c call01.lus -n call01}
PASS: gcc call01_call01.c call01_call01_loop.c
PASS: ./lus2lic {-2c ck4.lus -n ck4}
PASS: gcc ck4_ck4.c ck4_ck4_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ck4.lus
PASS: ./lus2lic {-2c ck3.lus -n ck3}
PASS: gcc ck3_ck3.c ck3_ck3_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ck3.lus
PASS: ./lus2lic {-2c call02.lus -n call02}
PASS: gcc call02_call02.c call02_call02_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c call02.lus
PASS: ./lus2lic {-2c ck7.lus -n ck7}
PASS: gcc ck7_ck7.c ck7_ck7_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ck7.lus
FAIL: Generate c code : ./lus2lic {-2c cond01.lus -n cond01}
PASS: ./lus2lic {-2c call03.lus -n call03}
PASS: gcc call03_call03.c call03_call03_loop.c
PASS: ./lus2lic {-2c count.lus -n count}
PASS: gcc count_count.c count_count_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c count.lus
PASS: ./lus2lic {-2c ck2.lus -n ck2}
PASS: gcc ck2_ck2.c ck2_ck2_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ck2.lus
PASS: ./lus2lic {-2c clock1_2ms.lus -n clock1_2ms}
PASS: gcc clock1_2ms_clock1_2ms.c clock1_2ms_clock1_2ms_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c clock1_2ms.lus
PASS: ./lus2lic {-2c dep.lus -n dep}
PASS: gcc dep_dep.c dep_dep_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c dep.lus
PASS: ./lus2lic {-2c dependeur.lus -n dependeur}
PASS: gcc dependeur_dependeur.c dependeur_dependeur_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c dependeur.lus
PASS: ./lus2lic {-2c deSimone.lus -n deSimone}
PASS: gcc deSimone_deSimone.c deSimone_deSimone_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c deSimone.lus
PASS: ./lus2lic {-2c double_delay.lus -n double_delay}
PASS: gcc double_delay_double_delay.c double_delay_double_delay_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c double_delay.lus
PASS: ./lus2lic {-2c deconne.lus -n deconne}
PASS: gcc deconne_deconne.c deconne_deconne_ext.c deconne_deconne_loop.c
PASS: ./lus2lic {-2c declaration.lus -n declaration}
PASS: gcc declaration_declaration.c declaration_declaration_loop.c
PASS: ./lus2lic {-2c dependeur_struct.lus -n dependeur_struct}
PASS: gcc dependeur_struct_dependeur_struct.c dependeur_struct_dependeur_struct_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c dependeur_struct.lus
PASS: ./lus2lic {-2c decl.lus -n decl}
FAIL: Check that the generated C code compiles : gcc decl_decl.c decl_decl_ext.c decl_decl_loop.c
PASS: ./lus2lic {-2c enum0.lus -n enum0}
PASS: gcc enum0_enum0.c enum0_enum0_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c enum0.lus
PASS: ./lus2lic {-2c ec.lus -n ec}
PASS: gcc ec_ec.c ec_ec_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ec.lus
PASS: ./lus2lic {-2c exclusion.lus -n exclusion}
PASS: gcc exclusion_exclusion.c exclusion_exclusion_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c exclusion.lus
PASS: ./lus2lic {-2c ex.lus -n ex}
PASS: gcc ex_ex.c ex_ex_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ex.lus
FAIL: Generate c code : ./lus2lic {-2c filter.lus -n filter}
PASS: ./lus2lic {-2c fresh_name.lus -n fresh_name}
PASS: gcc fresh_name_fresh_name.c fresh_name_fresh_name_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c fresh_name.lus
PASS: ./lus2lic {-2c filliter.lus -n filliter}
PASS: gcc filliter_filliter.c filliter_filliter_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c filliter.lus
PASS: ./lus2lic {-2c followed_by.lus -n followed_by}
PASS: gcc followed_by_followed_by.c followed_by_followed_by_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c followed_by.lus
PASS: ./lus2lic {-2c flo.lus -n flo}
PASS: gcc flo_flo.c flo_flo_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c flo.lus
PASS: ./lus2lic {-2c func_with_body.lus -n func_with_body}
PASS: gcc func_with_body_func_with_body.c func_with_body_func_with_body_loop.c
PASS: ./lus2lic {-2c heater_control.lus -n heater_control}
PASS: gcc heater_control_heater_control.c heater_control_heater_control_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c heater_control.lus
PASS: ./lus2lic {-2c hanane.lus -n hanane}
PASS: gcc hanane_hanane.c hanane_hanane_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c hanane.lus
PASS: ./lus2lic {-2c iter.lus -n iter}
PASS: gcc iter_iter.c iter_iter_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c iter.lus
PASS: ./lus2lic {-2c is_stable.lus -n is_stable}
PASS: gcc is_stable_is_stable.c is_stable_is_stable_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c is_stable.lus
PASS: ./lus2lic {-2c integrator.lus -n integrator}
PASS: gcc integrator_integrator.c integrator_integrator_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c integrator.lus
PASS: ./lus2lic {-2c initial.lus -n initial}
PASS: gcc initial_initial.c initial_initial_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c initial.lus
PASS: ./lus2lic {-2c impl_priority.lus -n impl_priority}
PASS: gcc impl_priority_impl_priority.c impl_priority_impl_priority_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c impl_priority.lus
PASS: ./lus2lic {-2c import1.lus -n import1}
FAIL: Check that the generated C code compiles : gcc import1_import1.c import1_import1_ext.c import1_import1_loop.c
PASS: ./lus2lic {-2c iterFibo.lus -n iterFibo}
PASS: gcc iterFibo_iterFibo.c iterFibo_iterFibo_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c iterFibo.lus
PASS: ./lus2lic {-2c iterate.lus -n iterate}
PASS: gcc iterate_iterate.c iterate_iterate_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c iterate.lus
PASS: ./lus2lic {-2c lucky.lus -n lucky}
PASS: gcc lucky_lucky.c lucky_lucky_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c lucky.lus
PASS: ./lus2lic {-2c lustre_test1_ok.lus -n lustre_test1_ok}
PASS: gcc lustre_test1_ok_lustre_test1_ok.c lustre_test1_ok_lustre_test1_ok_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c lustre_test1_ok.lus
PASS: ./lus2lic {-2c long_et_stupide_nom_de_noeud.lus -n long_et_stupide_nom_de_noeud}
PASS: gcc long_et_stupide_nom_de_noeud_long_et_stupide_nom_de_noeud.c long_et_stupide_nom_de_noeud_long_et_stupide_nom_de_noeud_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c long_et_stupide_nom_de_noeud.lus
FAIL: Generate c code : ./lus2lic {-2c left.lus -n left}
FAIL: Check that the generated C code compiles : gcc left_left.c left_left_loop.c
PASS: ./lus2lic {-2c lustre.lus -n lustre}
PASS: ./lus2lic {-2c mouse2.lus -n mouse2}
PASS: gcc mouse2_mouse2.c mouse2_mouse2_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mouse2.lus
PASS: ./lus2lic {-2c mappredef.lus -n mappredef}
PASS: gcc mappredef_mappredef.c mappredef_mappredef_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mappredef.lus
PASS: ./lus2lic {-2c mm.lus -n mm}
PASS: gcc mm_mm.c mm_mm_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mm.lus
PASS: ./lus2lic {-2c minmax5.lus -n minmax5}
PASS: gcc minmax5_minmax5.c minmax5_minmax5_ext.c minmax5_minmax5_loop.c
PASS: ./lus2lic {-2c mm1.lus -n mm1}
PASS: gcc mm1_mm1.c mm1_mm1_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mm1.lus
PASS: ./lus2lic {-2c minmax5_random.lus -n minmax5_random}
PASS: gcc minmax5_random_minmax5_random.c minmax5_random_minmax5_random_ext.c minmax5_random_minmax5_random_loop.c
PASS: ./lus2lic {-2c matrice2.lus -n matrice2}
PASS: gcc matrice2_matrice2.c matrice2_matrice2_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c matrice2.lus
PASS: ./lus2lic {-2c mm22.lus -n mm22}
PASS: gcc mm22_mm22.c mm22_mm22_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mm22.lus
PASS: ./lus2lic {-2c model2.lus -n model2}
PASS: ./lus2lic {-2c modes3x2_v2.lus -n modes3x2_v2}
PASS: gcc modes3x2_v2_modes3x2_v2.c modes3x2_v2_modes3x2_v2_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c modes3x2_v2.lus
PASS: ./lus2lic {-2c minmax3.lus -n minmax3}
PASS: gcc minmax3_minmax3.c minmax3_minmax3_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax3.lus
FAIL: Generate c code : ./lus2lic {-2c morel3.lus -n morel3}
FAIL: Check that the generated C code compiles : gcc morel3_morel3.c morel3_morel3_loop.c
PASS: ./lus2lic {-2c minmax2.lus -n minmax2}
PASS: gcc minmax2_minmax2.c minmax2_minmax2_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax2.lus
PASS: ./lus2lic {-2c morel5.lus -n morel5}
PASS: gcc morel5_morel5.c morel5_morel5_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c morel5.lus
FAIL: Generate c code : ./lus2lic {-2c morel4.lus -n morel4}
FAIL: Check that the generated C code compiles : gcc morel4_morel4.c morel4_morel4_loop.c
PASS: ./lus2lic {-2c mouse.lus -n mouse}
PASS: gcc mouse_mouse.c mouse_mouse_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mouse.lus
PASS: ./lus2lic {-2c mapinf.lus -n mapinf}
PASS: gcc mapinf_mapinf.c mapinf_mapinf_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mapinf.lus
PASS: ./lus2lic {-2c mm3.lus -n mm3}
PASS: gcc mm3_mm3.c mm3_mm3_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mm3.lus
PASS: ./lus2lic {-2c mouse1.lus -n mouse1}
PASS: gcc mouse1_mouse1.c mouse1_mouse1_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mouse1.lus
PASS: ./lus2lic {-2c multiclock.lus -n multiclock}
PASS: gcc multiclock_multiclock.c multiclock_multiclock_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c multiclock.lus
FAIL: Generate c code : ./lus2lic {-2c morel.lus -n morel}
FAIL: Check that the generated C code compiles : gcc morel_morel.c morel_morel_loop.c
PASS: ./lus2lic {-2c model.lus -n model}
PASS: ./lus2lic {-2c matrice.lus -n matrice}
PASS: gcc matrice_matrice.c matrice_matrice_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c matrice.lus
PASS: ./lus2lic {-2c multipar.lus -n multipar}
PASS: gcc multipar_multipar.c multipar_multipar_loop.c
FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c multipar.lus
FAIL: Generate c code : ./lus2lic {-2c morel2.lus -n morel2}
FAIL: Check that the generated C code compiles : gcc morel2_morel2.c morel2_morel2_loop.c
PASS: ./lus2lic {-2c minmax1.lus -n minmax1}
PASS: gcc minmax1_minmax1.c minmax1_minmax1_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax1.lus
PASS: ./lus2lic {-2c mouse3.lus -n mouse3}
PASS: gcc mouse3_mouse3.c mouse3_mouse3_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mouse3.lus
PASS: ./lus2lic {-2c moyenne.lus -n moyenne}
PASS: gcc moyenne_moyenne.c moyenne_moyenne_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c moyenne.lus
PASS: ./lus2lic {-2c map_red_iter.lus -n map_red_iter}
PASS: gcc map_red_iter_map_red_iter.c map_red_iter_map_red_iter_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c map_red_iter.lus
PASS: ./lus2lic {-2c minmax4.lus -n minmax4}
PASS: gcc minmax4_minmax4.c minmax4_minmax4_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax4.lus
PASS: ./lus2lic {-2c mapdeRed.lus -n mapdeRed}
PASS: gcc mapdeRed_mapdeRed.c mapdeRed_mapdeRed_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mapdeRed.lus
PASS: ./lus2lic {-2c modelInst.lus -n modelInst}
PASS: ./lus2lic {-2c minmax4_bis.lus -n minmax4_bis}
PASS: gcc minmax4_bis_minmax4_bis.c minmax4_bis_minmax4_bis_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax4_bis.lus
PASS: ./lus2lic {-2c modes3x2_v4.lus -n modes3x2_v4}
PASS: gcc modes3x2_v4_modes3x2_v4.c modes3x2_v4_modes3x2_v4_ext.c modes3x2_v4_modes3x2_v4_loop.c
PASS: ./lus2lic {-2c modes3x2_v3.lus -n modes3x2_v3}
PASS: gcc modes3x2_v3_modes3x2_v3.c modes3x2_v3_modes3x2_v3_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c modes3x2_v3.lus
PASS: ./lus2lic {-2c minmax6.lus -n minmax6}
PASS: gcc minmax6_minmax6.c minmax6_minmax6_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax6.lus
PASS: ./lus2lic {-2c mapiter.lus -n mapiter}
PASS: gcc mapiter_mapiter.c mapiter_mapiter_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mapiter.lus
FAIL: Generate c code : ./lus2lic {-2c modes3x2-simu.lus -n modes3x2-simu}
PASS: ./lus2lic {-2c minus.lus -n minus}
PASS: gcc minus_minus.c minus_minus_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minus.lus
PASS: ./lus2lic {-2c COUNTER.lus -n COUNTER}
PASS: gcc COUNTER_COUNTER.c COUNTER_COUNTER_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c COUNTER.lus
PASS: ./lus2lic {-2c CURRENT.lus -n CURRENT}
PASS: gcc CURRENT_CURRENT.c CURRENT_CURRENT_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c CURRENT.lus
PASS: ./lus2lic {-2c Condact.lus -n Condact}
PASS: ./lus2lic {-2c ELMU.lus -n ELMU}
PASS: gcc ELMU_ELMU.c ELMU_ELMU_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ELMU.lus
PASS: ./lus2lic {-2c EDGE.lus -n EDGE}
PASS: gcc EDGE_EDGE.c EDGE_EDGE_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c EDGE.lus
PASS: ./lus2lic {-2c FALLING_EDGE.lus -n FALLING_EDGE}
PASS: gcc FALLING_EDGE_FALLING_EDGE.c FALLING_EDGE_FALLING_EDGE_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c FALLING_EDGE.lus
PASS: ./lus2lic {-2c FillFollowedByRed.lus -n FillFollowedByRed}
PASS: gcc FillFollowedByRed_FillFollowedByRed.c FillFollowedByRed_FillFollowedByRed_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c FillFollowedByRed.lus
PASS: ./lus2lic {-2c Gyroscope2.lus -n Gyroscope2}
PASS: gcc Gyroscope2_Gyroscope2.c Gyroscope2_Gyroscope2_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c Gyroscope2.lus
PASS: ./lus2lic {-2c Gyroscope.lus -n Gyroscope}
PASS: gcc Gyroscope_Gyroscope.c Gyroscope_Gyroscope_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c Gyroscope.lus
PASS: ./lus2lic {-2c Int.lus -n Int}
=== lus2lic1 Summary ===
Erwan Jahier
committed
# of expected passes 325
# of unexpected failures 20
Test Run By jahier on Fri Aug 22 17:35:34
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
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
Native configuration is i686-pc-linux-gnu
=== lus2lic2 tests ===
Schedule of variations:
unix
Running target unix
Running ./lus2lic.tests/test2.exp ...
PASS: ./lus2lic {-2c nc6.lus -n nc6}
PASS: gcc nc6_nc6.c nc6_nc6_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc6.lus
PASS: ./lus2lic {-2c normal.lus -n normal}
PASS: gcc normal_normal.c normal_normal_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c normal.lus
PASS: ./lus2lic {-2c nodeparam.lus -n nodeparam}
PASS: gcc nodeparam_nodeparam.c nodeparam_nodeparam_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nodeparam.lus
PASS: ./lus2lic {-2c nc7.lus -n nc7}
PASS: gcc nc7_nc7.c nc7_nc7_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc7.lus
PASS: ./lus2lic {-2c nc9.lus -n nc9}
PASS: gcc nc9_nc9.c nc9_nc9_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc9.lus
PASS: ./lus2lic {-2c nc8.lus -n nc8}
PASS: gcc nc8_nc8.c nc8_nc8_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc8.lus
PASS: ./lus2lic {-2c node_caller1.lus -n node_caller1}
PASS: gcc node_caller1_node_caller1.c node_caller1_node_caller1_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c node_caller1.lus
PASS: ./lus2lic {-2c nc1.lus -n nc1}
PASS: gcc nc1_nc1.c nc1_nc1_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc1.lus
PASS: ./lus2lic {-2c newpacks.lus -n newpacks}
PASS: ./lus2lic {-2c noAlarm.lus -n noAlarm}
PASS: gcc noAlarm_noAlarm.c noAlarm_noAlarm_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c noAlarm.lus
PASS: ./lus2lic {-2c noeudsIndependants.lus -n noeudsIndependants}
PASS: gcc noeudsIndependants_noeudsIndependants.c noeudsIndependants_noeudsIndependants_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c noeudsIndependants.lus
PASS: ./lus2lic {-2c nc4.lus -n nc4}
PASS: gcc nc4_nc4.c nc4_nc4_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc4.lus
PASS: ./lus2lic {-2c nc5.lus -n nc5}
PASS: gcc nc5_nc5.c nc5_nc5_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc5.lus
PASS: ./lus2lic {-2c nc2.lus -n nc2}
PASS: gcc nc2_nc2.c nc2_nc2_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc2.lus
PASS: ./lus2lic {-2c notTwo.lus -n notTwo}
PASS: gcc notTwo_notTwo.c notTwo_notTwo_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c notTwo.lus
PASS: ./lus2lic {-2c nested.lus -n nested}
PASS: gcc nested_nested.c nested_nested_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nested.lus
PASS: ./lus2lic {-2c nc10.lus -n nc10}
PASS: gcc nc10_nc10.c nc10_nc10_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc10.lus
PASS: ./lus2lic {-2c nc3.lus -n nc3}
PASS: gcc nc3_nc3.c nc3_nc3_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc3.lus
PASS: ./lus2lic {-2c onlyroll2.lus -n onlyroll2}
PASS: gcc onlyroll2_onlyroll2.c onlyroll2_onlyroll2_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c onlyroll2.lus
PASS: ./lus2lic {-2c onlyroll.lus -n onlyroll}
PASS: gcc onlyroll_onlyroll.c onlyroll_onlyroll_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c onlyroll.lus
PASS: ./lus2lic {-2c over2.lus -n over2}
PASS: gcc over2_over2.c over2_over2_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c over2.lus
PASS: ./lus2lic {-2c over3.lus -n over3}
PASS: gcc over3_over3.c over3_over3_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c over3.lus
PASS: ./lus2lic {-2c o2l_feux_compl.lus -n o2l_feux_compl}
PASS: gcc o2l_feux_compl_o2l_feux_compl.c o2l_feux_compl_o2l_feux_compl_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c o2l_feux_compl.lus
PASS: ./lus2lic {-2c predefOp.lus -n predefOp}
PASS: gcc predefOp_predefOp.c predefOp_predefOp_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c predefOp.lus
PASS: ./lus2lic {-2c packageTableau.lus -n packageTableau}
PASS: ./lus2lic {-2c predef03.lus -n predef03}
PASS: gcc predef03_predef03.c predef03_predef03_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c predef03.lus
PASS: ./lus2lic {-2c polymorphic_pack.lus -n polymorphic_pack}
PASS: ./lus2lic {-2c ply03.lus -n ply03}
PASS: gcc ply03_ply03.c ply03_ply03_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ply03.lus
PASS: ./lus2lic {-2c param_struct.lus -n param_struct}
PASS: gcc param_struct_param_struct.c param_struct_param_struct_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c param_struct.lus
PASS: ./lus2lic {-2c plus.lus -n plus}
PASS: gcc plus_plus.c plus_plus_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c plus.lus
PASS: ./lus2lic {-2c pilote-1.0.lus -n pilote-1.0}
PASS: ./lus2lic {-2c packs.lus -n packs}
PASS: ./lus2lic {-2c param_node4.lus -n param_node4}
PASS: gcc param_node4_param_node4.c param_node4_param_node4_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c param_node4.lus
PASS: ./lus2lic {-2c produitBool.lus -n produitBool}
PASS: gcc produitBool_produitBool.c produitBool_produitBool_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c produitBool.lus
PASS: ./lus2lic {-2c param_node3.lus -n param_node3}
PASS: gcc param_node3_param_node3.c param_node3_param_node3_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c param_node3.lus
PASS: ./lus2lic {-2c pipeline.lus -n pipeline}
PASS: gcc pipeline_pipeline.c pipeline_pipeline_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c pipeline.lus
PASS: ./lus2lic {-2c predef01.lus -n predef01}
PASS: gcc predef01_predef01.c predef01_predef01_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c predef01.lus
PASS: ./lus2lic {-2c param_node2.lus -n param_node2}
PASS: gcc param_node2_param_node2.c param_node2_param_node2_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c param_node2.lus
PASS: ./lus2lic {-2c ply01.lus -n ply01}
PASS: gcc ply01_ply01.c ply01_ply01_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ply01.lus
PASS: ./lus2lic {-2c pack1.lus -n pack1}
PASS: gcc pack1_pack1.c pack1_pack1_loop.c
PASS: ./lus2lic {-2c p.lus -n p}
PASS: ./lus2lic {-2c pre_x.lus -n pre_x}
PASS: gcc pre_x_pre_x.c pre_x_pre_x_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c pre_x.lus
PASS: ./lus2lic {-2c packed_cst.lus -n packed_cst}
PASS: ./lus2lic {-2c predef02.lus -n predef02}
PASS: gcc predef02_predef02.c predef02_predef02_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c predef02.lus
PASS: ./lus2lic {-2c poussoir.lus -n poussoir}
PASS: gcc poussoir_poussoir.c poussoir_poussoir_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c poussoir.lus
PASS: ./lus2lic {-2c param_node.lus -n param_node}
PASS: gcc param_node_param_node.c param_node_param_node_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c param_node.lus
PASS: ./lus2lic {-2c redIf.lus -n redIf}
PASS: gcc redIf_redIf.c redIf_redIf_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c redIf.lus
PASS: ./lus2lic {-2c rs.lus -n rs}
PASS: gcc rs_rs.c rs_rs_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c rs.lus
PASS: ./lus2lic {-2c rediter.lus -n rediter}
PASS: gcc rediter_rediter.c rediter_rediter_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c rediter.lus
PASS: ./lus2lic {-2c redoptest.lus -n redoptest}
PASS: gcc redoptest_redoptest.c redoptest_redoptest_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c redoptest.lus
PASS: ./lus2lic {-2c remplissage-1.0.lus -n remplissage-1.0}
PASS: ./lus2lic {-2c struct_with.lus -n struct_with}
PASS: gcc struct_with_struct_with.c struct_with_struct_with_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c struct_with.lus
PASS: ./lus2lic {-2c shift_ludic.lus -n shift_ludic}
PASS: gcc shift_ludic_shift_ludic.c shift_ludic_shift_ludic_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c shift_ludic.lus
PASS: ./lus2lic {-2c sincos.lus -n sincos}
PASS: gcc sincos_sincos.c sincos_sincos_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c sincos.lus
PASS: ./lus2lic {-2c sample_time_change_MainNode.lus -n sample_time_change_MainNode}
PASS: gcc sample_time_change_MainNode_sample_time_change_MainNode.c sample_time_change_MainNode_sample_time_change_MainNode_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c sample_time_change_MainNode.lus
PASS: ./lus2lic {-2c stopwatch.lus -n stopwatch}
PASS: gcc stopwatch_stopwatch.c stopwatch_stopwatch_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c stopwatch.lus
PASS: ./lus2lic {-2c struct0.lus -n struct0}
PASS: gcc struct0_struct0.c struct0_struct0_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c struct0.lus
PASS: ./lus2lic {-2c simpleRed.lus -n simpleRed}
PASS: gcc simpleRed_simpleRed.c simpleRed_simpleRed_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c simpleRed.lus
PASS: ./lus2lic {-2c shiftFill_ludic.lus -n shiftFill_ludic}
PASS: gcc shiftFill_ludic_shiftFill_ludic.c shiftFill_ludic_shiftFill_ludic_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c shiftFill_ludic.lus
FAIL: Generate c code : ./lus2lic {-2c speedcontrol.lus -n speedcontrol}
PASS: ./lus2lic {-2c simple.lus -n simple}
FAIL: Check that the generated C code compiles : gcc simple_simple.c simple_simple_loop.c
PASS: ./lus2lic {-2c testPilote.lus -n testPilote}
PASS: gcc testPilote_testPilote.c testPilote_testPilote_loop.c
PASS: ./lus2lic {-2c t0.lus -n t0}
PASS: gcc t0_t0.c t0_t0_loop.c
PASS: ./lus2lic {-2c titi.lus -n titi}
PASS: gcc titi_titi.c titi_titi_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c titi.lus
PASS: ./lus2lic {-2c toolate.lus -n toolate}
PASS: gcc toolate_toolate.c toolate_toolate_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c toolate.lus
PASS: ./lus2lic {-2c testCapt.lus -n testCapt}
PASS: gcc testCapt_testCapt.c testCapt_testCapt_loop.c
PASS: ./lus2lic {-2c t1.lus -n t1}
PASS: gcc t1_t1.c t1_t1_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c t1.lus
PASS: ./lus2lic {-2c test_poly.lus -n test_poly}
PASS: gcc test_poly_test_poly.c test_poly_test_poly_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_poly.lus
PASS: ./lus2lic {-2c testBoite.lus -n testBoite}
PASS: ./lus2lic {-2c test_node_expand2.lus -n test_node_expand2}
PASS: gcc test_node_expand2_test_node_expand2.c test_node_expand2_test_node_expand2_loop.c
FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_node_expand2.lus
PASS: ./lus2lic {-2c test.lus -n test}
PASS: gcc test_test.c test_test_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test.lus
PASS: ./lus2lic {-2c test_node_expand.lus -n test_node_expand}
PASS: gcc test_node_expand_test_node_expand.c test_node_expand_test_node_expand_loop.c
FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_node_expand.lus
PASS: ./lus2lic {-2c test_clash.lus -n test_clash}
PASS: ./lus2lic {-2c trivial.lus -n trivial}
PASS: gcc trivial_trivial.c trivial_trivial_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c trivial.lus
PASS: ./lus2lic {-2c test_diese.lus -n test_diese}
PASS: gcc test_diese_test_diese.c test_diese_test_diese_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_diese.lus
PASS: ./lus2lic {-2c tri.lus -n tri}
PASS: gcc tri_tri.c tri_tri_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c tri.lus
PASS: ./lus2lic {-2c testCA.lus -n testCA}
PASS: gcc testCA_testCA.c testCA_testCA_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c testCA.lus
PASS: ./lus2lic {-2c test_extern.lus -n test_extern}
PASS: gcc test_extern_test_extern.c test_extern_test_extern_ext.c test_extern_test_extern_loop.c
PASS: ./lus2lic {-2c trivial_array.lus -n trivial_array}
PASS: gcc trivial_array_trivial_array.c trivial_array_trivial_array_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c trivial_array.lus
PASS: ./lus2lic {-2c t2.lus -n t2}
PASS: gcc t2_t2.c t2_t2_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c t2.lus
PASS: ./lus2lic {-2c test_const.lus -n test_const}
PASS: gcc test_const_test_const.c test_const_test_const_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_const.lus
PASS: ./lus2lic {-2c test_merge.lus -n test_merge}
PASS: gcc test_merge_test_merge.c test_merge_test_merge_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_merge.lus
PASS: ./lus2lic {-2c test_enum.lus -n test_enum}
PASS: gcc test_enum_test_enum.c test_enum_test_enum_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_enum.lus
PASS: ./lus2lic {-2c ts04.lus -n ts04}
PASS: gcc ts04_ts04.c ts04_ts04_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ts04.lus
PASS: ./lus2lic {-2c test_arrow.lus -n test_arrow}
PASS: gcc test_arrow_test_arrow.c test_arrow_test_arrow_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_arrow.lus
PASS: ./lus2lic {-2c type_decl.lus -n type_decl}
PASS: gcc type_decl_type_decl.c type_decl_type_decl_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c type_decl.lus
PASS: ./lus2lic {-2c test_condact.lus -n test_condact}
PASS: gcc test_condact_test_condact.c test_condact_test_condact_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_condact.lus
PASS: ./lus2lic {-2c test_map.lus -n test_map}
PASS: gcc test_map_test_map.c test_map_test_map_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_map.lus
PASS: ./lus2lic {-2c test_struct.lus -n test_struct}
PASS: gcc test_struct_test_struct.c test_struct_test_struct_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_struct.lus
PASS: ./lus2lic {-2c ts01.lus -n ts01}
PASS: gcc ts01_ts01.c ts01_ts01_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ts01.lus
PASS: ./lus2lic {-2c toto.lus -n toto}
PASS: gcc toto_toto.c toto_toto_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c toto.lus
PASS: ./lus2lic {-2c tuple.lus -n tuple}
PASS: gcc tuple_tuple.c tuple_tuple_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c tuple.lus
PASS: ./lus2lic {-2c triSel.lus -n triSel}
PASS: gcc triSel_triSel.c triSel_triSel_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c triSel.lus
PASS: ./lus2lic {-2c test_boolred.lus -n test_boolred}
PASS: gcc test_boolred_test_boolred.c test_boolred_test_boolred_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_boolred.lus
PASS: ./lus2lic {-2c trivial2.lus -n trivial2}
PASS: gcc trivial2_trivial2.c trivial2_trivial2_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c trivial2.lus
PASS: ./lus2lic {-2c uu.lus -n uu}
PASS: gcc uu_uu.c uu_uu_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c uu.lus
PASS: ./lus2lic {-2c v1.lus -n v1}
PASS: gcc v1_v1.c v1_v1_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c v1.lus
PASS: ./lus2lic {-2c when_tuple.lus -n when_tuple}
FAIL: Check that the generated C code compiles : gcc when_tuple_when_tuple.c when_tuple_when_tuple_ext.c when_tuple_when_tuple_loop.c
PASS: ./lus2lic {-2c xx.lus -n xx}
PASS: gcc xx_xx.c xx_xx_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c xx.lus
PASS: ./lus2lic {-2c xxx.lus -n xxx}
PASS: gcc xxx_xxx.c xxx_xxx_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c xxx.lus
PASS: ./lus2lic {-2c yyy.lus -n yyy}
PASS: gcc yyy_yyy.c yyy_yyy_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c yyy.lus
PASS: ./lus2lic {-2c zzz2.lus -n zzz2}
PASS: gcc zzz2_zzz2.c zzz2_zzz2_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c zzz2.lus
PASS: ./lus2lic {-2c zzz.lus -n zzz}
PASS: gcc zzz_zzz.c zzz_zzz_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c zzz.lus
PASS: ./lus2lic {-2c PCOND1.lus -n PCOND1}
PASS: gcc PCOND1_PCOND1.c PCOND1_PCOND1_loop.c
Erwan Jahier
committed
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c PCOND1.lus
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
PASS: ./lus2lic {-2c SWITCH.lus -n SWITCH}
PASS: gcc SWITCH_SWITCH.c SWITCH_SWITCH_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c SWITCH.lus
PASS: ./lus2lic {-2c SOURIS.lus -n SOURIS}
PASS: gcc SOURIS_SOURIS.c SOURIS_SOURIS_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c SOURIS.lus
PASS: ./lus2lic {-2c STABLE.lus -n STABLE}
PASS: gcc STABLE_STABLE.c STABLE_STABLE_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c STABLE.lus
PASS: ./lus2lic {-2c SWITCH1.lus -n SWITCH1}
PASS: gcc SWITCH1_SWITCH1.c SWITCH1_SWITCH1_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c SWITCH1.lus
PASS: ./lus2lic {-2c TIME_STABLE1.lus -n TIME_STABLE1}
PASS: gcc TIME_STABLE1_TIME_STABLE1.c TIME_STABLE1_TIME_STABLE1_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c TIME_STABLE1.lus
PASS: ./lus2lic {-2c TIME_STABLE.lus -n TIME_STABLE}
PASS: gcc TIME_STABLE_TIME_STABLE.c TIME_STABLE_TIME_STABLE_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c TIME_STABLE.lus
PASS: ./lus2lic {-2c Watch.lus -n Watch}
PASS: gcc Watch_Watch.c Watch_Watch_ext.c Watch_Watch_loop.c
PASS: ./lus2lic {-2c X2.lus -n X2}
PASS: gcc X2_X2.c X2_X2_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c X2.lus
PASS: ./lus2lic {-2c X.lus -n X}
PASS: gcc X_X.c X_X_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c X.lus
=== lus2lic2 Summary ===
Erwan Jahier
committed
# of expected passes 304
# of unexpected failures 5
Test Run By jahier on Fri Aug 22 17:27:00
Native configuration is i686-pc-linux-gnu
=== lus2lic3 tests ===
Schedule of variations:
unix
Running target unix
Running ./lus2lic.tests/test3.exp ...
PASS: ./lus2lic {-o argos.lic argos.lus}
PASS: ./lus2lic {-ec -o argos.ec argos.lus}
PASS: ./myec2c {-o argos.c argos.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node argos.lus
PASS: ./lus2lic {-o access.lic access.lus}
PASS: ./lus2lic {-ec -o access.ec access.lus}
PASS: ./myec2c {-o access.c access.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node access.lus
PASS: ./lus2lic {-o array_concat2.lic array_concat2.lus}
PASS: ./lus2lic {-ec -o array_concat2.ec array_concat2.lus}
PASS: ./myec2c {-o array_concat2.c array_concat2.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node array_concat2.lus
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
PASS: ./lus2lic {-o arbitre.lic arbitre.lus}
PASS: ./lus2lic {-ec -o arbitre.ec arbitre.lus}
PASS: ./myec2c {-o arbitre.c arbitre.ec}
PASS: ./lus2lic {-o activation_ec.lic activation_ec.lus}
PASS: ./lus2lic {-ec -o activation_ec.ec activation_ec.lus}
PASS: ./myec2c {-o activation_ec.c activation_ec.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node activation_ec.lus
PASS: ./lus2lic {-o activation2.lic activation2.lus}
PASS: ./lus2lic {-ec -o activation2.ec activation2.lus}
PASS: ./myec2c {-o activation2.c activation2.ec}
FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node activation2.lus
PASS: ./lus2lic {-o aa.lic aa.lus}
PASS: ./lus2lic {-ec -o aa.ec aa.lus}
PASS: ./myec2c {-o aa.c aa.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node aa.lus
PASS: ./lus2lic {-o array_concat.lic array_concat.lus}
PASS: ./lus2lic {-ec -o array_concat.ec array_concat.lus}
FAIL: Try ec2c on the result: ./myec2c {-o array_concat.c array_concat.ec}
PASS: ./lus2lic {-o activation1.lic activation1.lus}
PASS: ./lus2lic {-ec -o activation1.ec activation1.lus}
PASS: ./myec2c {-o activation1.c activation1.ec}
FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node activation1.lus
PASS: ./lus2lic {-o asservi.lic asservi.lus}
PASS: ./lus2lic {-ec -o asservi.ec asservi.lus}
PASS: ./myec2c {-o asservi.c asservi.ec}
PASS: ./lus2lic {-o alias.lic alias.lus}
PASS: ./lus2lic {-ec -o alias.ec alias.lus}
PASS: ./myec2c {-o alias.c alias.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node alias.lus
PASS: ./lus2lic {-o after.lic after.lus}
PASS: ./lus2lic {-ec -o after.ec after.lus}
PASS: ./myec2c {-o after.c after.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node after.lus
PASS: ./lus2lic {-o arrays.lic arrays.lus}
PASS: ./lus2lic {-ec -o arrays.ec arrays.lus}
PASS: ./myec2c {-o arrays.c arrays.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node arrays.lus
PASS: ./lus2lic {-o bug2.lic bug2.lus}
PASS: ./lus2lic {-ec -o bug2.ec bug2.lus}
PASS: ./myec2c {-o bug2.c bug2.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bug2.lus
PASS: ./lus2lic {-o bascule.lic bascule.lus}
PASS: ./lus2lic {-ec -o bascule.ec bascule.lus}
PASS: ./myec2c {-o bascule.c bascule.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bascule.lus
PASS: ./lus2lic {-o bred.lic bred.lus}
PASS: ./lus2lic {-ec -o bred.ec bred.lus}
PASS: ./myec2c {-o bred.c bred.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bred.lus
PASS: ./lus2lic {-o bad_call03.lic bad_call03.lus}
PASS: ./lus2lic {-ec -o bad_call03.ec bad_call03.lus}
PASS: ./myec2c {-o bad_call03.c bad_call03.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bad_call03.lus
FAIL: without any option: ./lus2lic {-o bug_map_fby.lic bug_map_fby.lus}
PASS: ./lus2lic {-o bob.lic bob.lus}
PASS: ./lus2lic {-ec -o bob.ec bob.lus}
PASS: ./myec2c {-o bob.c bob.ec}
FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bob.lus
PASS: ./lus2lic {-o bug.lic bug.lus}
PASS: ./lus2lic {-ec -o bug.ec bug.lus}
PASS: ./myec2c {-o bug.c bug.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bug.lus
PASS: ./lus2lic {-o bred_lv4.lic bred_lv4.lus}
PASS: ./lus2lic {-ec -o bred_lv4.ec bred_lv4.lus}
PASS: ./myec2c {-o bred_lv4.c bred_lv4.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bred_lv4.lus
PASS: ./lus2lic {-o ck5.lic ck5.lus}
PASS: ./lus2lic {-ec -o ck5.ec ck5.lus}
PASS: ./myec2c {-o ck5.c ck5.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ck5.lus
PASS: ./lus2lic {-o ck6.lic ck6.lus}
PASS: ./lus2lic {-ec -o ck6.ec ck6.lus}
PASS: ./myec2c {-o ck6.c ck6.ec}
PASS: ./lus2lic {-o cminus.lic cminus.lus}
PASS: ./lus2lic {-ec -o cminus.ec cminus.lus}
PASS: ./myec2c {-o cminus.c cminus.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node cminus.lus
PASS: ./lus2lic {-o consensus2.lic consensus2.lus}
PASS: ./lus2lic {-ec -o consensus2.ec consensus2.lus}
PASS: ./myec2c {-o consensus2.c consensus2.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node consensus2.lus
PASS: ./lus2lic {-o call06.lic call06.lus}
PASS: ./lus2lic {-ec -o call06.ec call06.lus}
PASS: ./myec2c {-o call06.c call06.ec}
PASS: ./lus2lic {-o call05.lic call05.lus}
PASS: ./lus2lic {-ec -o call05.ec call05.lus}
PASS: ./myec2c {-o call05.c call05.ec}
PASS: ./lus2lic {-o cst.lic cst.lus}
PASS: ./lus2lic {-ec -o cst.ec cst.lus}
PASS: ./myec2c {-o cst.c cst.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node cst.lus
PASS: ./lus2lic {-o call04.lic call04.lus}
PASS: ./lus2lic {-ec -o call04.ec call04.lus}
PASS: ./myec2c {-o call04.c call04.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node call04.lus
PASS: ./lus2lic {-o call07.lic call07.lus}
PASS: ./lus2lic {-ec -o call07.ec call07.lus}
PASS: ./myec2c {-o call07.c call07.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node call07.lus
PASS: ./lus2lic {-o calculs_max.lic calculs_max.lus}
PASS: ./lus2lic {-ec -o calculs_max.ec calculs_max.lus}
PASS: ./myec2c {-o calculs_max.c calculs_max.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node calculs_max.lus
PASS: ./lus2lic {-o clock_ite.lic clock_ite.lus}
PASS: ./lus2lic {-ec -o clock_ite.ec clock_ite.lus}
PASS: ./myec2c {-o clock_ite.c clock_ite.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node clock_ite.lus
PASS: ./lus2lic {-o complex.lic complex.lus}
PASS: ./lus2lic {-ec -o complex.ec complex.lus}
PASS: ./myec2c {-o complex.c complex.ec}
PASS: ./lus2lic {-o call.lic call.lus}
PASS: ./lus2lic {-ec -o call.ec call.lus}
PASS: ./myec2c {-o call.c call.ec}
PASS: ./lus2lic {-o compteur.lic compteur.lus}
PASS: ./lus2lic {-ec -o compteur.ec compteur.lus}
PASS: ./myec2c {-o compteur.c compteur.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node compteur.lus
PASS: ./lus2lic {-o carV2.lic carV2.lus}
PASS: ./lus2lic {-ec -o carV2.ec carV2.lus}
PASS: ./myec2c {-o carV2.c carV2.ec}
PASS: ./lus2lic {-o cpt.lic cpt.lus}
PASS: ./lus2lic {-ec -o cpt.ec cpt.lus}
PASS: ./myec2c {-o cpt.c cpt.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node cpt.lus
PASS: ./lus2lic {-o consensus.lic consensus.lus}
PASS: ./lus2lic {-ec -o consensus.ec consensus.lus}
PASS: ./myec2c {-o consensus.c consensus.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node consensus.lus
PASS: ./lus2lic {-o contractForElementSelectionInArray.lic contractForElementSelectionInArray.lus}
PASS: ./lus2lic {-ec -o contractForElementSelectionInArray.ec contractForElementSelectionInArray.lus}
PASS: ./myec2c {-o contractForElementSelectionInArray.c contractForElementSelectionInArray.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node contractForElementSelectionInArray.lus
PASS: ./lus2lic {-o call01.lic call01.lus}
PASS: ./lus2lic {-ec -o call01.ec call01.lus}
PASS: ./myec2c {-o call01.c call01.ec}
PASS: ./lus2lic {-o ck4.lic ck4.lus}
PASS: ./lus2lic {-ec -o ck4.ec ck4.lus}
PASS: ./myec2c {-o ck4.c ck4.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ck4.lus
PASS: ./lus2lic {-o ck3.lic ck3.lus}
PASS: ./lus2lic {-ec -o ck3.ec ck3.lus}
PASS: ./myec2c {-o ck3.c ck3.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ck3.lus
PASS: ./lus2lic {-o call02.lic call02.lus}
PASS: ./lus2lic {-ec -o call02.ec call02.lus}
PASS: ./myec2c {-o call02.c call02.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node call02.lus
PASS: ./lus2lic {-o ck7.lic ck7.lus}
PASS: ./lus2lic {-ec -o ck7.ec ck7.lus}
PASS: ./myec2c {-o ck7.c ck7.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ck7.lus
PASS: ./lus2lic {-o cond01.lic cond01.lus}
PASS: ./lus2lic {-ec -o cond01.ec cond01.lus}
PASS: ./myec2c {-o cond01.c cond01.ec}
FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node cond01.lus
PASS: ./lus2lic {-o call03.lic call03.lus}
PASS: ./lus2lic {-ec -o call03.ec call03.lus}
PASS: ./myec2c {-o call03.c call03.ec}
PASS: ./lus2lic {-o count.lic count.lus}
PASS: ./lus2lic {-ec -o count.ec count.lus}
PASS: ./myec2c {-o count.c count.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node count.lus
PASS: ./lus2lic {-o ck2.lic ck2.lus}
PASS: ./lus2lic {-ec -o ck2.ec ck2.lus}
PASS: ./myec2c {-o ck2.c ck2.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ck2.lus
PASS: ./lus2lic {-o clock1_2ms.lic clock1_2ms.lus}
PASS: ./lus2lic {-ec -o clock1_2ms.ec clock1_2ms.lus}
PASS: ./myec2c {-o clock1_2ms.c clock1_2ms.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node clock1_2ms.lus
PASS: ./lus2lic {-o dep.lic dep.lus}
PASS: ./lus2lic {-ec -o dep.ec dep.lus}
PASS: ./myec2c {-o dep.c dep.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node dep.lus
PASS: ./lus2lic {-o dependeur.lic dependeur.lus}
PASS: ./lus2lic {-ec -o dependeur.ec dependeur.lus}
PASS: ./myec2c {-o dependeur.c dependeur.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node dependeur.lus
PASS: ./lus2lic {-o deSimone.lic deSimone.lus}
PASS: ./lus2lic {-ec -o deSimone.ec deSimone.lus}
PASS: ./myec2c {-o deSimone.c deSimone.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node deSimone.lus
PASS: ./lus2lic {-o double_delay.lic double_delay.lus}
PASS: ./lus2lic {-ec -o double_delay.ec double_delay.lus}
PASS: ./myec2c {-o double_delay.c double_delay.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node double_delay.lus
PASS: ./lus2lic {-o deconne.lic deconne.lus}
PASS: ./lus2lic {-ec -o deconne.ec deconne.lus}
PASS: ./myec2c {-o deconne.c deconne.ec}
PASS: ./lus2lic {-o declaration.lic declaration.lus}
PASS: ./lus2lic {-ec -o declaration.ec declaration.lus}
PASS: ./myec2c {-o declaration.c declaration.ec}
PASS: ./lus2lic {-o dependeur_struct.lic dependeur_struct.lus}
PASS: ./lus2lic {-ec -o dependeur_struct.ec dependeur_struct.lus}
PASS: ./myec2c {-o dependeur_struct.c dependeur_struct.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node dependeur_struct.lus
PASS: ./lus2lic {-o decl.lic decl.lus}
PASS: ./lus2lic {-ec -o decl.ec decl.lus}
PASS: ./myec2c {-o decl.c decl.ec}
PASS: ./lus2lic {-o enum0.lic enum0.lus}
PASS: ./lus2lic {-ec -o enum0.ec enum0.lus}
PASS: ./myec2c {-o enum0.c enum0.ec}
PASS: ./lus2lic {-o ec.lic ec.lus}
PASS: ./lus2lic {-ec -o ec.ec ec.lus}
PASS: ./myec2c {-o ec.c ec.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ec.lus
PASS: ./lus2lic {-o exclusion.lic exclusion.lus}
PASS: ./lus2lic {-ec -o exclusion.ec exclusion.lus}
PASS: ./myec2c {-o exclusion.c exclusion.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node exclusion.lus
PASS: ./lus2lic {-o ex.lic ex.lus}
PASS: ./lus2lic {-ec -o ex.ec ex.lus}
PASS: ./myec2c {-o ex.c ex.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ex.lus
PASS: ./lus2lic {-o filter.lic filter.lus}
PASS: ./lus2lic {-ec -o filter.ec filter.lus}
PASS: ./myec2c {-o filter.c filter.ec}
FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node filter.lus
PASS: ./lus2lic {-o fresh_name.lic fresh_name.lus}
PASS: ./lus2lic {-ec -o fresh_name.ec fresh_name.lus}
PASS: ./myec2c {-o fresh_name.c fresh_name.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node fresh_name.lus
PASS: ./lus2lic {-o filliter.lic filliter.lus}
PASS: ./lus2lic {-ec -o filliter.ec filliter.lus}
PASS: ./myec2c {-o filliter.c filliter.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node filliter.lus
PASS: ./lus2lic {-o followed_by.lic followed_by.lus}
PASS: ./lus2lic {-ec -o followed_by.ec followed_by.lus}