From 3be027b7213d71b9f6d306c8468efbb3d758df4e Mon Sep 17 00:00:00 2001 From: Erwan Jahier <jahier@imag.fr> Date: Fri, 22 Aug 2014 13:42:35 +0200 Subject: [PATCH] nonreg tests: add (back) test files beginnning with a capilter letter. Also remove the port number from the sum files --- test/Makefile | 8 +- test/lus2lic.sum | 1740 +++++++++++++++++++++++++++++++++- test/lus2lic.tests/test1.exp | 3 +- test/lus2lic.tests/test2.exp | 2 +- test/lus2lic.tests/test3.exp | 2 +- test/lus2lic.tests/test4.exp | 2 +- test/lus2lic.time | 18 +- test/lus2lic0.sum | 66 -- test/lus2lic1.sum | 335 ------- test/lus2lic2.sum | 297 ------ test/lus2lic3.sum | 468 --------- test/lus2lic4.sum | 405 -------- test/site.exp | 6 +- todo.org | 7 +- utils/compare_exec_and_2c | 1 + 15 files changed, 1736 insertions(+), 1624 deletions(-) delete mode 100644 test/lus2lic0.sum delete mode 100644 test/lus2lic1.sum delete mode 100644 test/lus2lic2.sum delete mode 100644 test/lus2lic3.sum delete mode 100644 test/lus2lic4.sum diff --git a/test/Makefile b/test/Makefile index 2860cf3d..d8dccd89 100644 --- a/test/Makefile +++ b/test/Makefile @@ -22,9 +22,10 @@ remote-runtest: ssh $(TEST_MACHINE) "cd $(testdir) ; export OCAMLRUNPARAM=o=200 ; runtest --all --tool lus2lic" || true cd $(testdir) +lus2lic.sum: + cat lus2lic*.sum | sed -e 's/[0-9][0-9][0-9][0-9][0-9]//' | sed -e 's/[0-9][0-9][0-9][0-9]//' > lus2lic.sum - -.PHONY:lus2lic.diff lus2lic.time +.PHONY:lus2lic.diff lus2lic.time lus2lic.sum lus2lic.diff: cat lus2lic.log | grep -v "Process " | grep -v "Killing process " | \ grep -v "simec_trap " | grep -v " Version " > lus2lic2.log @@ -55,13 +56,14 @@ reftest: rm -f $(LOG) make tmpdirs time -o lus2lic.ref_time make $(LOG) - cat lus2lic.time + make lus2lic.time qtest: rm -f $(LOG) make tmpdirs time -o lus2lic.quick_time make -j 4 $(LOG) cat lus2lic.quick_time + make lus2lic.time tmpdirs: diff --git a/test/lus2lic.sum b/test/lus2lic.sum index 6875559e..a4f2a8e6 100644 --- a/test/lus2lic.sum +++ b/test/lus2lic.sum @@ -1,33 +1,1715 @@ +Test Run By jahier on Fri Aug 22 14:22:57 +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 14:23:02 +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 +FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c array_concat.lus +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 +FAIL: Generate c code : ./lus2lic {-2c bug_map_fby.lus -n bug_map_fby} +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 === + +# of expected passes 324 +# of unexpected failures 22 +Test Run By jahier on Fri Aug 22 14:23:48 +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 +FAIL: Generate c code : ./lus2lic {-2c tranche.lus -n tranche} +FAIL: Check that the generated C code compiles : gcc tranche_tranche.c tranche_tranche_loop.c +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 +FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c PCOND1.lus +FAIL: Generate c code : ./lus2lic {-2c PCOND.lus -n PCOND} +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 +FAIL: Generate c code : ./lus2lic {-2c X6.lus -n X6} +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 === + +# of expected passes 303 +# of unexpected failures 10 +Test Run By jahier on Fri Aug 22 14:25:19 +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} +FAIL: Try ec2c on the result: ./myec2c {-o array_concat2.c array_concat2.ec} +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} +PASS: ./myec2c {-o followed_by.c followed_by.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node followed_by.lus +PASS: ./lus2lic {-o flo.lic flo.lus} +PASS: ./lus2lic {-ec -o flo.ec flo.lus} +PASS: ./myec2c {-o flo.c flo.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node flo.lus +PASS: ./lus2lic {-o func_with_body.lic func_with_body.lus} +PASS: ./lus2lic {-ec -o func_with_body.ec func_with_body.lus} +PASS: ./myec2c {-o func_with_body.c func_with_body.ec} +PASS: ./lus2lic {-o heater_control.lic heater_control.lus} +PASS: ./lus2lic {-ec -o heater_control.ec heater_control.lus} +PASS: ./myec2c {-o heater_control.c heater_control.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node heater_control.lus +PASS: ./lus2lic {-o hanane.lic hanane.lus} +PASS: ./lus2lic {-ec -o hanane.ec hanane.lus} +PASS: ./myec2c {-o hanane.c hanane.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node hanane.lus +PASS: ./lus2lic {-o iter.lic iter.lus} +PASS: ./lus2lic {-ec -o iter.ec iter.lus} +PASS: ./myec2c {-o iter.c iter.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node iter.lus +PASS: ./lus2lic {-o is_stable.lic is_stable.lus} +PASS: ./lus2lic {-ec -o is_stable.ec is_stable.lus} +PASS: ./myec2c {-o is_stable.c is_stable.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node is_stable.lus +PASS: ./lus2lic {-o integrator.lic integrator.lus} +PASS: ./lus2lic {-ec -o integrator.ec integrator.lus} +PASS: ./myec2c {-o integrator.c integrator.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node integrator.lus +PASS: ./lus2lic {-o initial.lic initial.lus} +PASS: ./lus2lic {-ec -o initial.ec initial.lus} +PASS: ./myec2c {-o initial.c initial.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node initial.lus +PASS: ./lus2lic {-o impl_priority.lic impl_priority.lus} +PASS: ./lus2lic {-ec -o impl_priority.ec impl_priority.lus} +PASS: ./myec2c {-o impl_priority.c impl_priority.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node impl_priority.lus +PASS: ./lus2lic {-o import1.lic import1.lus} +PASS: ./lus2lic {-ec -o import1.ec import1.lus} +PASS: ./myec2c {-o import1.c import1.ec} +PASS: ./lus2lic {-o iterFibo.lic iterFibo.lus} +PASS: ./lus2lic {-ec -o iterFibo.ec iterFibo.lus} +PASS: ./myec2c {-o iterFibo.c iterFibo.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node iterFibo.lus +PASS: ./lus2lic {-o iterate.lic iterate.lus} +PASS: ./lus2lic {-ec -o iterate.ec iterate.lus} +PASS: ./myec2c {-o iterate.c iterate.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node iterate.lus +PASS: ./lus2lic {-o lucky.lic lucky.lus} +PASS: ./lus2lic {-ec -o lucky.ec lucky.lus} +PASS: ./myec2c {-o lucky.c lucky.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node lucky.lus +PASS: ./lus2lic {-o lustre_test1_ok.lic lustre_test1_ok.lus} +PASS: ./lus2lic {-ec -o lustre_test1_ok.ec lustre_test1_ok.lus} +PASS: ./myec2c {-o lustre_test1_ok.c lustre_test1_ok.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node lustre_test1_ok.lus +PASS: ./lus2lic {-o long_et_stupide_nom_de_noeud.lic long_et_stupide_nom_de_noeud.lus} +PASS: ./lus2lic {-ec -o long_et_stupide_nom_de_noeud.ec long_et_stupide_nom_de_noeud.lus} +PASS: ./myec2c {-o long_et_stupide_nom_de_noeud.c long_et_stupide_nom_de_noeud.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node long_et_stupide_nom_de_noeud.lus +PASS: ./lus2lic {-o left.lic left.lus} +PASS: ./lus2lic {-ec -o left.ec left.lus} +PASS: ./myec2c {-o left.c left.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node left.lus +PASS: ./lus2lic {-o lustre.lic lustre.lus} +PASS: ./lus2lic {-ec -o lustre.ec lustre.lus} +PASS: ./myec2c {-o lustre.c lustre.ec} +PASS: ./lus2lic {-o mouse2.lic mouse2.lus} +PASS: ./lus2lic {-ec -o mouse2.ec mouse2.lus} +PASS: ./myec2c {-o mouse2.c mouse2.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mouse2.lus +PASS: ./lus2lic {-o mappredef.lic mappredef.lus} +PASS: ./lus2lic {-ec -o mappredef.ec mappredef.lus} +PASS: ./myec2c {-o mappredef.c mappredef.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mappredef.lus +PASS: ./lus2lic {-o mm.lic mm.lus} +PASS: ./lus2lic {-ec -o mm.ec mm.lus} +PASS: ./myec2c {-o mm.c mm.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mm.lus +PASS: ./lus2lic {-o minmax5.lic minmax5.lus} +PASS: ./lus2lic {-ec -o minmax5.ec minmax5.lus} +PASS: ./myec2c {-o minmax5.c minmax5.ec} +PASS: ./lus2lic {-o mm1.lic mm1.lus} +PASS: ./lus2lic {-ec -o mm1.ec mm1.lus} +PASS: ./myec2c {-o mm1.c mm1.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mm1.lus +PASS: ./lus2lic {-o minmax5_random.lic minmax5_random.lus} +PASS: ./lus2lic {-ec -o minmax5_random.ec minmax5_random.lus} +PASS: ./myec2c {-o minmax5_random.c minmax5_random.ec} +PASS: ./lus2lic {-o matrice2.lic matrice2.lus} +PASS: ./lus2lic {-ec -o matrice2.ec matrice2.lus} +PASS: ./myec2c {-o matrice2.c matrice2.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node matrice2.lus +PASS: ./lus2lic {-o mm22.lic mm22.lus} +PASS: ./lus2lic {-ec -o mm22.ec mm22.lus} +PASS: ./myec2c {-o mm22.c mm22.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mm22.lus +PASS: ./lus2lic {-o model2.lic model2.lus} +PASS: ./lus2lic {-ec -o model2.ec model2.lus} +PASS: ./myec2c {-o model2.c model2.ec} +PASS: ./lus2lic {-o modes3x2_v2.lic modes3x2_v2.lus} +PASS: ./lus2lic {-ec -o modes3x2_v2.ec modes3x2_v2.lus} +PASS: ./myec2c {-o modes3x2_v2.c modes3x2_v2.ec} +FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node modes3x2_v2.lus +PASS: ./lus2lic {-o minmax3.lic minmax3.lus} +PASS: ./lus2lic {-ec -o minmax3.ec minmax3.lus} +PASS: ./myec2c {-o minmax3.c minmax3.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax3.lus +PASS: ./lus2lic {-o morel3.lic morel3.lus} +PASS: ./lus2lic {-ec -o morel3.ec morel3.lus} +PASS: ./myec2c {-o morel3.c morel3.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node morel3.lus +PASS: ./lus2lic {-o minmax2.lic minmax2.lus} +PASS: ./lus2lic {-ec -o minmax2.ec minmax2.lus} +PASS: ./myec2c {-o minmax2.c minmax2.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax2.lus +PASS: ./lus2lic {-o morel5.lic morel5.lus} +PASS: ./lus2lic {-ec -o morel5.ec morel5.lus} +PASS: ./myec2c {-o morel5.c morel5.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node morel5.lus +PASS: ./lus2lic {-o morel4.lic morel4.lus} +PASS: ./lus2lic {-ec -o morel4.ec morel4.lus} +PASS: ./myec2c {-o morel4.c morel4.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node morel4.lus +PASS: ./lus2lic {-o mouse.lic mouse.lus} +PASS: ./lus2lic {-ec -o mouse.ec mouse.lus} +PASS: ./myec2c {-o mouse.c mouse.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mouse.lus +PASS: ./lus2lic {-o mapinf.lic mapinf.lus} +PASS: ./lus2lic {-ec -o mapinf.ec mapinf.lus} +PASS: ./myec2c {-o mapinf.c mapinf.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mapinf.lus +PASS: ./lus2lic {-o mm3.lic mm3.lus} +PASS: ./lus2lic {-ec -o mm3.ec mm3.lus} +PASS: ./myec2c {-o mm3.c mm3.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mm3.lus +PASS: ./lus2lic {-o mouse1.lic mouse1.lus} +PASS: ./lus2lic {-ec -o mouse1.ec mouse1.lus} +PASS: ./myec2c {-o mouse1.c mouse1.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mouse1.lus +PASS: ./lus2lic {-o multiclock.lic multiclock.lus} +PASS: ./lus2lic {-ec -o multiclock.ec multiclock.lus} +PASS: ./myec2c {-o multiclock.c multiclock.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node multiclock.lus +PASS: ./lus2lic {-o morel.lic morel.lus} +PASS: ./lus2lic {-ec -o morel.ec morel.lus} +PASS: ./myec2c {-o morel.c morel.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node morel.lus +PASS: ./lus2lic {-o model.lic model.lus} +PASS: ./lus2lic {-ec -o model.ec model.lus} +PASS: ./myec2c {-o model.c model.ec} +PASS: ./lus2lic {-o matrice.lic matrice.lus} +PASS: ./lus2lic {-ec -o matrice.ec matrice.lus} +PASS: ./myec2c {-o matrice.c matrice.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node matrice.lus +PASS: ./lus2lic {-o multipar.lic multipar.lus} +PASS: ./lus2lic {-ec -o multipar.ec multipar.lus} +PASS: ./myec2c {-o multipar.c multipar.ec} +FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node multipar.lus +PASS: ./lus2lic {-o morel2.lic morel2.lus} +PASS: ./lus2lic {-ec -o morel2.ec morel2.lus} +PASS: ./myec2c {-o morel2.c morel2.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node morel2.lus +PASS: ./lus2lic {-o minmax1.lic minmax1.lus} +PASS: ./lus2lic {-ec -o minmax1.ec minmax1.lus} +PASS: ./myec2c {-o minmax1.c minmax1.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax1.lus +PASS: ./lus2lic {-o mouse3.lic mouse3.lus} +PASS: ./lus2lic {-ec -o mouse3.ec mouse3.lus} +PASS: ./myec2c {-o mouse3.c mouse3.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mouse3.lus +PASS: ./lus2lic {-o moyenne.lic moyenne.lus} +PASS: ./lus2lic {-ec -o moyenne.ec moyenne.lus} +PASS: ./myec2c {-o moyenne.c moyenne.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node moyenne.lus +PASS: ./lus2lic {-o map_red_iter.lic map_red_iter.lus} +PASS: ./lus2lic {-ec -o map_red_iter.ec map_red_iter.lus} +PASS: ./myec2c {-o map_red_iter.c map_red_iter.ec} +PASS: ./lus2lic {-o minmax4.lic minmax4.lus} +PASS: ./lus2lic {-ec -o minmax4.ec minmax4.lus} +PASS: ./myec2c {-o minmax4.c minmax4.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax4.lus +PASS: ./lus2lic {-o mapdeRed.lic mapdeRed.lus} +PASS: ./lus2lic {-ec -o mapdeRed.ec mapdeRed.lus} +PASS: ./myec2c {-o mapdeRed.c mapdeRed.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mapdeRed.lus +PASS: ./lus2lic {-o modelInst.lic modelInst.lus} +PASS: ./lus2lic {-ec -o modelInst.ec modelInst.lus} +PASS: ./myec2c {-o modelInst.c modelInst.ec} +PASS: ./lus2lic {-o minmax4_bis.lic minmax4_bis.lus} +PASS: ./lus2lic {-ec -o minmax4_bis.ec minmax4_bis.lus} +PASS: ./myec2c {-o minmax4_bis.c minmax4_bis.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax4_bis.lus +PASS: ./lus2lic {-o modes3x2_v4.lic modes3x2_v4.lus} +PASS: ./lus2lic {-ec -o modes3x2_v4.ec modes3x2_v4.lus} +FAIL: Try ec2c on the result: ./myec2c {-o modes3x2_v4.c modes3x2_v4.ec} +PASS: ./lus2lic {-o modes3x2_v3.lic modes3x2_v3.lus} +PASS: ./lus2lic {-ec -o modes3x2_v3.ec modes3x2_v3.lus} +FAIL: Try ec2c on the result: ./myec2c {-o modes3x2_v3.c modes3x2_v3.ec} +PASS: ./lus2lic {-o minmax6.lic minmax6.lus} +PASS: ./lus2lic {-ec -o minmax6.ec minmax6.lus} +PASS: ./myec2c {-o minmax6.c minmax6.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax6.lus +PASS: ./lus2lic {-o mapiter.lic mapiter.lus} +PASS: ./lus2lic {-ec -o mapiter.ec mapiter.lus} +PASS: ./myec2c {-o mapiter.c mapiter.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mapiter.lus +PASS: ./lus2lic {-o modes3x2-simu.lic modes3x2-simu.lus} +PASS: ./lus2lic {-ec -o modes3x2-simu.ec modes3x2-simu.lus} +FAIL: Try ec2c on the result: ./myec2c {-o modes3x2-simu.c modes3x2-simu.ec} +PASS: ./lus2lic {-o minus.lic minus.lus} +PASS: ./lus2lic {-ec -o minus.ec minus.lus} +PASS: ./myec2c {-o minus.c minus.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minus.lus +PASS: ./lus2lic {-o COUNTER.lic COUNTER.lus} +PASS: ./lus2lic {-ec -o COUNTER.ec COUNTER.lus} +PASS: ./myec2c {-o COUNTER.c COUNTER.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node COUNTER.lus +PASS: ./lus2lic {-o CURRENT.lic CURRENT.lus} +PASS: ./lus2lic {-ec -o CURRENT.ec CURRENT.lus} +PASS: ./myec2c {-o CURRENT.c CURRENT.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node CURRENT.lus +PASS: ./lus2lic {-o Condact.lic Condact.lus} +PASS: ./lus2lic {-ec -o Condact.ec Condact.lus} +PASS: ./myec2c {-o Condact.c Condact.ec} +PASS: ./lus2lic {-o ELMU.lic ELMU.lus} +PASS: ./lus2lic {-ec -o ELMU.ec ELMU.lus} +PASS: ./myec2c {-o ELMU.c ELMU.ec} +PASS: ./lus2lic {-o EDGE.lic EDGE.lus} +PASS: ./lus2lic {-ec -o EDGE.ec EDGE.lus} +PASS: ./myec2c {-o EDGE.c EDGE.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node EDGE.lus +PASS: ./lus2lic {-o FALLING_EDGE.lic FALLING_EDGE.lus} +PASS: ./lus2lic {-ec -o FALLING_EDGE.ec FALLING_EDGE.lus} +PASS: ./myec2c {-o FALLING_EDGE.c FALLING_EDGE.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node FALLING_EDGE.lus +PASS: ./lus2lic {-o FillFollowedByRed.lic FillFollowedByRed.lus} +PASS: ./lus2lic {-ec -o FillFollowedByRed.ec FillFollowedByRed.lus} +PASS: ./myec2c {-o FillFollowedByRed.c FillFollowedByRed.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node FillFollowedByRed.lus +PASS: ./lus2lic {-o Gyroscope2.lic Gyroscope2.lus} +PASS: ./lus2lic {-ec -o Gyroscope2.ec Gyroscope2.lus} +PASS: ./myec2c {-o Gyroscope2.c Gyroscope2.ec} +FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node Gyroscope2.lus +PASS: ./lus2lic {-o Gyroscope.lic Gyroscope.lus} +PASS: ./lus2lic {-ec -o Gyroscope.ec Gyroscope.lus} +PASS: ./myec2c {-o Gyroscope.c Gyroscope.ec} +FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node Gyroscope.lus +PASS: ./lus2lic {-o Int.lic Int.lus} +PASS: ./lus2lic {-ec -o Int.ec Int.lus} +PASS: ./myec2c {-o Int.c Int.ec} + + === lus2lic3 Summary === + +# of expected passes 475 +# of unexpected failures 15 +Test Run By jahier on Fri Aug 22 14:26:38 +Native configuration is i686-pc-linux-gnu + + === lus2lic4 tests === + +Schedule of variations: + unix + +Running target unix +Running ./lus2lic.tests/test4.exp ... +PASS: ./lus2lic {-o nc6.lic nc6.lus} +PASS: ./lus2lic {-ec -o nc6.ec nc6.lus} +PASS: ./myec2c {-o nc6.c nc6.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc6.lus +PASS: ./lus2lic {-o normal.lic normal.lus} +PASS: ./lus2lic {-ec -o normal.ec normal.lus} +PASS: ./myec2c {-o normal.c normal.ec} +PASS: ./lus2lic {-o nodeparam.lic nodeparam.lus} +PASS: ./lus2lic {-ec -o nodeparam.ec nodeparam.lus} +PASS: ./myec2c {-o nodeparam.c nodeparam.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nodeparam.lus +PASS: ./lus2lic {-o nc7.lic nc7.lus} +PASS: ./lus2lic {-ec -o nc7.ec nc7.lus} +PASS: ./myec2c {-o nc7.c nc7.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc7.lus +PASS: ./lus2lic {-o nc9.lic nc9.lus} +PASS: ./lus2lic {-ec -o nc9.ec nc9.lus} +PASS: ./myec2c {-o nc9.c nc9.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc9.lus +PASS: ./lus2lic {-o nc8.lic nc8.lus} +PASS: ./lus2lic {-ec -o nc8.ec nc8.lus} +PASS: ./myec2c {-o nc8.c nc8.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc8.lus +PASS: ./lus2lic {-o node_caller1.lic node_caller1.lus} +PASS: ./lus2lic {-ec -o node_caller1.ec node_caller1.lus} +PASS: ./myec2c {-o node_caller1.c node_caller1.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node node_caller1.lus +PASS: ./lus2lic {-o nc1.lic nc1.lus} +PASS: ./lus2lic {-ec -o nc1.ec nc1.lus} +PASS: ./myec2c {-o nc1.c nc1.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc1.lus +PASS: ./lus2lic {-o newpacks.lic newpacks.lus} +PASS: ./lus2lic {-ec -o newpacks.ec newpacks.lus} +PASS: ./myec2c {-o newpacks.c newpacks.ec} +PASS: ./lus2lic {-o noAlarm.lic noAlarm.lus} +PASS: ./lus2lic {-ec -o noAlarm.ec noAlarm.lus} +PASS: ./myec2c {-o noAlarm.c noAlarm.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node noAlarm.lus +PASS: ./lus2lic {-o noeudsIndependants.lic noeudsIndependants.lus} +PASS: ./lus2lic {-ec -o noeudsIndependants.ec noeudsIndependants.lus} +PASS: ./myec2c {-o noeudsIndependants.c noeudsIndependants.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node noeudsIndependants.lus +PASS: ./lus2lic {-o nc4.lic nc4.lus} +PASS: ./lus2lic {-ec -o nc4.ec nc4.lus} +PASS: ./myec2c {-o nc4.c nc4.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc4.lus +PASS: ./lus2lic {-o nc5.lic nc5.lus} +PASS: ./lus2lic {-ec -o nc5.ec nc5.lus} +PASS: ./myec2c {-o nc5.c nc5.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc5.lus +PASS: ./lus2lic {-o nc2.lic nc2.lus} +PASS: ./lus2lic {-ec -o nc2.ec nc2.lus} +PASS: ./myec2c {-o nc2.c nc2.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc2.lus +PASS: ./lus2lic {-o notTwo.lic notTwo.lus} +PASS: ./lus2lic {-ec -o notTwo.ec notTwo.lus} +PASS: ./myec2c {-o notTwo.c notTwo.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node notTwo.lus +PASS: ./lus2lic {-o nested.lic nested.lus} +PASS: ./lus2lic {-ec -o nested.ec nested.lus} +PASS: ./myec2c {-o nested.c nested.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nested.lus +PASS: ./lus2lic {-o nc10.lic nc10.lus} +PASS: ./lus2lic {-ec -o nc10.ec nc10.lus} +PASS: ./myec2c {-o nc10.c nc10.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc10.lus +PASS: ./lus2lic {-o nc3.lic nc3.lus} +PASS: ./lus2lic {-ec -o nc3.ec nc3.lus} +PASS: ./myec2c {-o nc3.c nc3.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc3.lus +PASS: ./lus2lic {-o onlyroll2.lic onlyroll2.lus} +PASS: ./lus2lic {-ec -o onlyroll2.ec onlyroll2.lus} +PASS: ./myec2c {-o onlyroll2.c onlyroll2.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node onlyroll2.lus +PASS: ./lus2lic {-o onlyroll.lic onlyroll.lus} +PASS: ./lus2lic {-ec -o onlyroll.ec onlyroll.lus} +PASS: ./myec2c {-o onlyroll.c onlyroll.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node onlyroll.lus +PASS: ./lus2lic {-o over2.lic over2.lus} +PASS: ./lus2lic {-ec -o over2.ec over2.lus} +PASS: ./myec2c {-o over2.c over2.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node over2.lus +PASS: ./lus2lic {-o over3.lic over3.lus} +PASS: ./lus2lic {-ec -o over3.ec over3.lus} +PASS: ./myec2c {-o over3.c over3.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node over3.lus +PASS: ./lus2lic {-o o2l_feux_compl.lic o2l_feux_compl.lus} +PASS: ./lus2lic {-ec -o o2l_feux_compl.ec o2l_feux_compl.lus} +PASS: ./myec2c {-o o2l_feux_compl.c o2l_feux_compl.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node o2l_feux_compl.lus +PASS: ./lus2lic {-o predefOp.lic predefOp.lus} +PASS: ./lus2lic {-ec -o predefOp.ec predefOp.lus} +PASS: ./myec2c {-o predefOp.c predefOp.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node predefOp.lus +PASS: ./lus2lic {-o packageTableau.lic packageTableau.lus} +PASS: ./lus2lic {-ec -o packageTableau.ec packageTableau.lus} +PASS: ./myec2c {-o packageTableau.c packageTableau.ec} +PASS: ./lus2lic {-o predef03.lic predef03.lus} +PASS: ./lus2lic {-ec -o predef03.ec predef03.lus} +PASS: ./myec2c {-o predef03.c predef03.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node predef03.lus +PASS: ./lus2lic {-o polymorphic_pack.lic polymorphic_pack.lus} +PASS: ./lus2lic {-ec -o polymorphic_pack.ec polymorphic_pack.lus} +PASS: ./myec2c {-o polymorphic_pack.c polymorphic_pack.ec} +PASS: ./lus2lic {-o ply03.lic ply03.lus} +PASS: ./lus2lic {-ec -o ply03.ec ply03.lus} +PASS: ./myec2c {-o ply03.c ply03.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ply03.lus +PASS: ./lus2lic {-o param_struct.lic param_struct.lus} +PASS: ./lus2lic {-ec -o param_struct.ec param_struct.lus} +PASS: ./myec2c {-o param_struct.c param_struct.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node param_struct.lus +PASS: ./lus2lic {-o plus.lic plus.lus} +PASS: ./lus2lic {-ec -o plus.ec plus.lus} +PASS: ./myec2c {-o plus.c plus.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node plus.lus +PASS: ./lus2lic {-o pilote-1.0.lic pilote-1.0.lus} +PASS: ./lus2lic {-ec -o pilote-1.0.ec pilote-1.0.lus} +PASS: ./myec2c {-o pilote-1.0.c pilote-1.0.ec} +PASS: ./lus2lic {-o packs.lic packs.lus} +PASS: ./lus2lic {-ec -o packs.ec packs.lus} +PASS: ./myec2c {-o packs.c packs.ec} +PASS: ./lus2lic {-o param_node4.lic param_node4.lus} +PASS: ./lus2lic {-ec -o param_node4.ec param_node4.lus} +PASS: ./myec2c {-o param_node4.c param_node4.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node param_node4.lus +PASS: ./lus2lic {-o produitBool.lic produitBool.lus} +PASS: ./lus2lic {-ec -o produitBool.ec produitBool.lus} +PASS: ./myec2c {-o produitBool.c produitBool.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node produitBool.lus +PASS: ./lus2lic {-o param_node3.lic param_node3.lus} +PASS: ./lus2lic {-ec -o param_node3.ec param_node3.lus} +PASS: ./myec2c {-o param_node3.c param_node3.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node param_node3.lus +PASS: ./lus2lic {-o pipeline.lic pipeline.lus} +PASS: ./lus2lic {-ec -o pipeline.ec pipeline.lus} +PASS: ./myec2c {-o pipeline.c pipeline.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node pipeline.lus +PASS: ./lus2lic {-o predef01.lic predef01.lus} +PASS: ./lus2lic {-ec -o predef01.ec predef01.lus} +PASS: ./myec2c {-o predef01.c predef01.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node predef01.lus +PASS: ./lus2lic {-o param_node2.lic param_node2.lus} +PASS: ./lus2lic {-ec -o param_node2.ec param_node2.lus} +PASS: ./myec2c {-o param_node2.c param_node2.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node param_node2.lus +PASS: ./lus2lic {-o ply01.lic ply01.lus} +PASS: ./lus2lic {-ec -o ply01.ec ply01.lus} +PASS: ./myec2c {-o ply01.c ply01.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ply01.lus +PASS: ./lus2lic {-o pack1.lic pack1.lus} +PASS: ./lus2lic {-ec -o pack1.ec pack1.lus} +PASS: ./myec2c {-o pack1.c pack1.ec} +PASS: ./lus2lic {-o p.lic p.lus} +PASS: ./lus2lic {-ec -o p.ec p.lus} +PASS: ./myec2c {-o p.c p.ec} +PASS: ./lus2lic {-o pre_x.lic pre_x.lus} +PASS: ./lus2lic {-ec -o pre_x.ec pre_x.lus} +PASS: ./myec2c {-o pre_x.c pre_x.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node pre_x.lus +PASS: ./lus2lic {-o packed_cst.lic packed_cst.lus} +PASS: ./lus2lic {-ec -o packed_cst.ec packed_cst.lus} +PASS: ./myec2c {-o packed_cst.c packed_cst.ec} +PASS: ./lus2lic {-o predef02.lic predef02.lus} +PASS: ./lus2lic {-ec -o predef02.ec predef02.lus} +PASS: ./myec2c {-o predef02.c predef02.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node predef02.lus +PASS: ./lus2lic {-o poussoir.lic poussoir.lus} +PASS: ./lus2lic {-ec -o poussoir.ec poussoir.lus} +PASS: ./myec2c {-o poussoir.c poussoir.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node poussoir.lus +PASS: ./lus2lic {-o param_node.lic param_node.lus} +PASS: ./lus2lic {-ec -o param_node.ec param_node.lus} +PASS: ./myec2c {-o param_node.c param_node.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node param_node.lus +PASS: ./lus2lic {-o redIf.lic redIf.lus} +PASS: ./lus2lic {-ec -o redIf.ec redIf.lus} +PASS: ./myec2c {-o redIf.c redIf.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node redIf.lus +PASS: ./lus2lic {-o rs.lic rs.lus} +PASS: ./lus2lic {-ec -o rs.ec rs.lus} +PASS: ./myec2c {-o rs.c rs.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node rs.lus +PASS: ./lus2lic {-o rediter.lic rediter.lus} +PASS: ./lus2lic {-ec -o rediter.ec rediter.lus} +PASS: ./myec2c {-o rediter.c rediter.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node rediter.lus +PASS: ./lus2lic {-o redoptest.lic redoptest.lus} +PASS: ./lus2lic {-ec -o redoptest.ec redoptest.lus} +PASS: ./myec2c {-o redoptest.c redoptest.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node redoptest.lus +PASS: ./lus2lic {-o remplissage-1.0.lic remplissage-1.0.lus} +PASS: ./lus2lic {-ec -o remplissage-1.0.ec remplissage-1.0.lus} +PASS: ./myec2c {-o remplissage-1.0.c remplissage-1.0.ec} +PASS: ./lus2lic {-o struct_with.lic struct_with.lus} +PASS: ./lus2lic {-ec -o struct_with.ec struct_with.lus} +PASS: ./myec2c {-o struct_with.c struct_with.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node struct_with.lus +PASS: ./lus2lic {-o shift_ludic.lic shift_ludic.lus} +PASS: ./lus2lic {-ec -o shift_ludic.ec shift_ludic.lus} +PASS: ./myec2c {-o shift_ludic.c shift_ludic.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node shift_ludic.lus +PASS: ./lus2lic {-o sincos.lic sincos.lus} +PASS: ./lus2lic {-ec -o sincos.ec sincos.lus} +PASS: ./myec2c {-o sincos.c sincos.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node sincos.lus +PASS: ./lus2lic {-o sample_time_change_MainNode.lic sample_time_change_MainNode.lus} +PASS: ./lus2lic {-ec -o sample_time_change_MainNode.ec sample_time_change_MainNode.lus} +PASS: ./myec2c {-o sample_time_change_MainNode.c sample_time_change_MainNode.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node sample_time_change_MainNode.lus +PASS: ./lus2lic {-o stopwatch.lic stopwatch.lus} +PASS: ./lus2lic {-ec -o stopwatch.ec stopwatch.lus} +PASS: ./myec2c {-o stopwatch.c stopwatch.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node stopwatch.lus +PASS: ./lus2lic {-o struct0.lic struct0.lus} +PASS: ./lus2lic {-ec -o struct0.ec struct0.lus} +PASS: ./myec2c {-o struct0.c struct0.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node struct0.lus +PASS: ./lus2lic {-o simpleRed.lic simpleRed.lus} +PASS: ./lus2lic {-ec -o simpleRed.ec simpleRed.lus} +PASS: ./myec2c {-o simpleRed.c simpleRed.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node simpleRed.lus +PASS: ./lus2lic {-o shiftFill_ludic.lic shiftFill_ludic.lus} +PASS: ./lus2lic {-ec -o shiftFill_ludic.ec shiftFill_ludic.lus} +PASS: ./myec2c {-o shiftFill_ludic.c shiftFill_ludic.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node shiftFill_ludic.lus +PASS: ./lus2lic {-o speedcontrol.lic speedcontrol.lus} +PASS: ./lus2lic {-ec -o speedcontrol.ec speedcontrol.lus} +PASS: ./myec2c {-o speedcontrol.c speedcontrol.ec} +FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node speedcontrol.lus +PASS: ./lus2lic {-o simple.lic simple.lus} +PASS: ./lus2lic {-ec -o simple.ec simple.lus} +PASS: ./myec2c {-o simple.c simple.ec} +PASS: ./lus2lic {-o testPilote.lic testPilote.lus} +PASS: ./lus2lic {-ec -o testPilote.ec testPilote.lus} +PASS: ./myec2c {-o testPilote.c testPilote.ec} +PASS: ./lus2lic {-o t0.lic t0.lus} +PASS: ./lus2lic {-ec -o t0.ec t0.lus} +PASS: ./myec2c {-o t0.c t0.ec} +PASS: ./lus2lic {-o titi.lic titi.lus} +PASS: ./lus2lic {-ec -o titi.ec titi.lus} +PASS: ./myec2c {-o titi.c titi.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node titi.lus +PASS: ./lus2lic {-o toolate.lic toolate.lus} +PASS: ./lus2lic {-ec -o toolate.ec toolate.lus} +PASS: ./myec2c {-o toolate.c toolate.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node toolate.lus +PASS: ./lus2lic {-o testCapt.lic testCapt.lus} +PASS: ./lus2lic {-ec -o testCapt.ec testCapt.lus} +PASS: ./myec2c {-o testCapt.c testCapt.ec} +PASS: ./lus2lic {-o t1.lic t1.lus} +PASS: ./lus2lic {-ec -o t1.ec t1.lus} +PASS: ./myec2c {-o t1.c t1.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node t1.lus +PASS: ./lus2lic {-o test_poly.lic test_poly.lus} +PASS: ./lus2lic {-ec -o test_poly.ec test_poly.lus} +PASS: ./myec2c {-o test_poly.c test_poly.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_poly.lus +PASS: ./lus2lic {-o testBoite.lic testBoite.lus} +PASS: ./lus2lic {-ec -o testBoite.ec testBoite.lus} +PASS: ./myec2c {-o testBoite.c testBoite.ec} +PASS: ./lus2lic {-o test_node_expand2.lic test_node_expand2.lus} +PASS: ./lus2lic {-ec -o test_node_expand2.ec test_node_expand2.lus} +PASS: ./myec2c {-o test_node_expand2.c test_node_expand2.ec} +FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_node_expand2.lus +PASS: ./lus2lic {-o test.lic test.lus} +PASS: ./lus2lic {-ec -o test.ec test.lus} +PASS: ./myec2c {-o test.c test.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test.lus +PASS: ./lus2lic {-o test_node_expand.lic test_node_expand.lus} +PASS: ./lus2lic {-ec -o test_node_expand.ec test_node_expand.lus} +PASS: ./myec2c {-o test_node_expand.c test_node_expand.ec} +FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_node_expand.lus +PASS: ./lus2lic {-o test_clash.lic test_clash.lus} +PASS: ./lus2lic {-ec -o test_clash.ec test_clash.lus} +PASS: ./myec2c {-o test_clash.c test_clash.ec} +PASS: ./lus2lic {-o trivial.lic trivial.lus} +PASS: ./lus2lic {-ec -o trivial.ec trivial.lus} +PASS: ./myec2c {-o trivial.c trivial.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node trivial.lus +PASS: ./lus2lic {-o test_diese.lic test_diese.lus} +PASS: ./lus2lic {-ec -o test_diese.ec test_diese.lus} +PASS: ./myec2c {-o test_diese.c test_diese.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_diese.lus +PASS: ./lus2lic {-o tri.lic tri.lus} +PASS: ./lus2lic {-ec -o tri.ec tri.lus} +PASS: ./myec2c {-o tri.c tri.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node tri.lus +PASS: ./lus2lic {-o testCA.lic testCA.lus} +PASS: ./lus2lic {-ec -o testCA.ec testCA.lus} +PASS: ./myec2c {-o testCA.c testCA.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node testCA.lus +PASS: ./lus2lic {-o test_extern.lic test_extern.lus} +PASS: ./lus2lic {-ec -o test_extern.ec test_extern.lus} +PASS: ./myec2c {-o test_extern.c test_extern.ec} +PASS: ./lus2lic {-o trivial_array.lic trivial_array.lus} +FAIL: Generate ec code : ./lus2lic {-ec -o trivial_array.ec trivial_array.lus} +FAIL: without any option: ./lus2lic {-o tranche.lic tranche.lus} +PASS: ./lus2lic {-o t2.lic t2.lus} +PASS: ./lus2lic {-ec -o t2.ec t2.lus} +PASS: ./myec2c {-o t2.c t2.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node t2.lus +PASS: ./lus2lic {-o test_const.lic test_const.lus} +PASS: ./lus2lic {-ec -o test_const.ec test_const.lus} +PASS: ./myec2c {-o test_const.c test_const.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_const.lus +PASS: ./lus2lic {-o test_merge.lic test_merge.lus} +PASS: ./lus2lic {-ec -o test_merge.ec test_merge.lus} +FAIL: Try ec2c on the result: ./myec2c {-o test_merge.c test_merge.ec} +PASS: ./lus2lic {-o test_enum.lic test_enum.lus} +PASS: ./lus2lic {-ec -o test_enum.ec test_enum.lus} +PASS: ./myec2c {-o test_enum.c test_enum.ec} +PASS: ./lus2lic {-o ts04.lic ts04.lus} +PASS: ./lus2lic {-ec -o ts04.ec ts04.lus} +PASS: ./myec2c {-o ts04.c ts04.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ts04.lus +PASS: ./lus2lic {-o test_arrow.lic test_arrow.lus} +PASS: ./lus2lic {-ec -o test_arrow.ec test_arrow.lus} +PASS: ./myec2c {-o test_arrow.c test_arrow.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_arrow.lus +PASS: ./lus2lic {-o type_decl.lic type_decl.lus} +PASS: ./lus2lic {-ec -o type_decl.ec type_decl.lus} +PASS: ./myec2c {-o type_decl.c type_decl.ec} +PASS: ./lus2lic {-o test_condact.lic test_condact.lus} +PASS: ./lus2lic {-ec -o test_condact.ec test_condact.lus} +PASS: ./myec2c {-o test_condact.c test_condact.ec} +FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_condact.lus +PASS: ./lus2lic {-o test_map.lic test_map.lus} +PASS: ./lus2lic {-ec -o test_map.ec test_map.lus} +PASS: ./myec2c {-o test_map.c test_map.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_map.lus +PASS: ./lus2lic {-o test_struct.lic test_struct.lus} +PASS: ./lus2lic {-ec -o test_struct.ec test_struct.lus} +PASS: ./myec2c {-o test_struct.c test_struct.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_struct.lus +PASS: ./lus2lic {-o ts01.lic ts01.lus} +PASS: ./lus2lic {-ec -o ts01.ec ts01.lus} +PASS: ./myec2c {-o ts01.c ts01.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ts01.lus +PASS: ./lus2lic {-o toto.lic toto.lus} +PASS: ./lus2lic {-ec -o toto.ec toto.lus} +PASS: ./myec2c {-o toto.c toto.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node toto.lus +PASS: ./lus2lic {-o tuple.lic tuple.lus} +PASS: ./lus2lic {-ec -o tuple.ec tuple.lus} +PASS: ./myec2c {-o tuple.c tuple.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node tuple.lus +PASS: ./lus2lic {-o triSel.lic triSel.lus} +PASS: ./lus2lic {-ec -o triSel.ec triSel.lus} +PASS: ./myec2c {-o triSel.c triSel.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node triSel.lus +PASS: ./lus2lic {-o test_boolred.lic test_boolred.lus} +PASS: ./lus2lic {-ec -o test_boolred.ec test_boolred.lus} +PASS: ./myec2c {-o test_boolred.c test_boolred.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_boolred.lus +PASS: ./lus2lic {-o trivial2.lic trivial2.lus} +PASS: ./lus2lic {-ec -o trivial2.ec trivial2.lus} +PASS: ./myec2c {-o trivial2.c trivial2.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node trivial2.lus +PASS: ./lus2lic {-o uu.lic uu.lus} +PASS: ./lus2lic {-ec -o uu.ec uu.lus} +PASS: ./myec2c {-o uu.c uu.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node uu.lus +PASS: ./lus2lic {-o v1.lic v1.lus} +PASS: ./lus2lic {-ec -o v1.ec v1.lus} +PASS: ./myec2c {-o v1.c v1.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node v1.lus +PASS: ./lus2lic {-o when_tuple.lic when_tuple.lus} +PASS: ./lus2lic {-ec -o when_tuple.ec when_tuple.lus} +PASS: ./myec2c {-o when_tuple.c when_tuple.ec} +PASS: ./lus2lic {-o xx.lic xx.lus} +PASS: ./lus2lic {-ec -o xx.ec xx.lus} +PASS: ./myec2c {-o xx.c xx.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node xx.lus +PASS: ./lus2lic {-o xxx.lic xxx.lus} +PASS: ./lus2lic {-ec -o xxx.ec xxx.lus} +PASS: ./myec2c {-o xxx.c xxx.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node xxx.lus +PASS: ./lus2lic {-o yyy.lic yyy.lus} +PASS: ./lus2lic {-ec -o yyy.ec yyy.lus} +PASS: ./myec2c {-o yyy.c yyy.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node yyy.lus +PASS: ./lus2lic {-o zzz2.lic zzz2.lus} +PASS: ./lus2lic {-ec -o zzz2.ec zzz2.lus} +PASS: ./myec2c {-o zzz2.c zzz2.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node zzz2.lus +PASS: ./lus2lic {-o zzz.lic zzz.lus} +PASS: ./lus2lic {-ec -o zzz.ec zzz.lus} +PASS: ./myec2c {-o zzz.c zzz.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node zzz.lus +PASS: ./lus2lic {-o PCOND1.lic PCOND1.lus} +PASS: ./lus2lic {-ec -o PCOND1.ec PCOND1.lus} +PASS: ./myec2c {-o PCOND1.c PCOND1.ec} +FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node PCOND1.lus +FAIL: without any option: ./lus2lic {-o PCOND.lic PCOND.lus} +PASS: ./lus2lic {-o SWITCH.lic SWITCH.lus} +PASS: ./lus2lic {-ec -o SWITCH.ec SWITCH.lus} +PASS: ./myec2c {-o SWITCH.c SWITCH.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node SWITCH.lus +PASS: ./lus2lic {-o SOURIS.lic SOURIS.lus} +PASS: ./lus2lic {-ec -o SOURIS.ec SOURIS.lus} +PASS: ./myec2c {-o SOURIS.c SOURIS.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node SOURIS.lus +PASS: ./lus2lic {-o STABLE.lic STABLE.lus} +PASS: ./lus2lic {-ec -o STABLE.ec STABLE.lus} +PASS: ./myec2c {-o STABLE.c STABLE.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node STABLE.lus +PASS: ./lus2lic {-o SWITCH1.lic SWITCH1.lus} +PASS: ./lus2lic {-ec -o SWITCH1.ec SWITCH1.lus} +PASS: ./myec2c {-o SWITCH1.c SWITCH1.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node SWITCH1.lus +PASS: ./lus2lic {-o TIME_STABLE1.lic TIME_STABLE1.lus} +PASS: ./lus2lic {-ec -o TIME_STABLE1.ec TIME_STABLE1.lus} +PASS: ./myec2c {-o TIME_STABLE1.c TIME_STABLE1.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node TIME_STABLE1.lus +PASS: ./lus2lic {-o TIME_STABLE.lic TIME_STABLE.lus} +PASS: ./lus2lic {-ec -o TIME_STABLE.ec TIME_STABLE.lus} +PASS: ./myec2c {-o TIME_STABLE.c TIME_STABLE.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node TIME_STABLE.lus +PASS: ./lus2lic {-o Watch.lic Watch.lus} +PASS: ./lus2lic {-ec -o Watch.ec Watch.lus} +PASS: ./myec2c {-o Watch.c Watch.ec} +FAIL: without any option: ./lus2lic {-o X6.lic X6.lus} +PASS: ./lus2lic {-o X2.lic X2.lus} +PASS: ./lus2lic {-ec -o X2.ec X2.lus} +PASS: ./myec2c {-o X2.c X2.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node X2.lus +PASS: ./lus2lic {-o X.lic X.lus} +PASS: ./lus2lic {-ec -o X.ec X.lus} +PASS: ./myec2c {-o X.c X.ec} +PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node X.lus + + === lus2lic4 Summary === + +# of expected passes 421 +# of unexpected failures 10 lus2lic0.log:testcase ./lus2lic.tests/test0.exp completed in 4 seconds -lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 46 seconds -lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 81 seconds -lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 41 seconds -lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 97 seconds -* Ref time: -0.09user 0.08system 4:34.10elapsed 0%CPU (0avgtext+0avgdata 2460maxresident)k -0inputs+0outputs (0major+12510minor)pagefaults 0swaps -* Quick time (-j 4): -0.09user 0.07system 2:25.78elapsed 0%CPU (0avgtext+0avgdata 2476maxresident)k -32inputs+0outputs (1major+12510minor)pagefaults 0swaps -lus2lic0.log:testcase ./lus2lic.tests/test0.exp completed in 3 seconds -lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 63 seconds -lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 101 seconds -lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 38 seconds -lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 94 seconds -* Ref time: -0.06user 0.05system 5:03.76elapsed 0%CPU (0avgtext+0avgdata 2460maxresident)k -0inputs+0outputs (0major+12500minor)pagefaults 0swaps -* Quick time (-j 4): -0.09user 0.07system 2:25.78elapsed 0%CPU (0avgtext+0avgdata 2476maxresident)k -32inputs+0outputs (1major+12510minor)pagefaults 0swaps -lus2lic0.log:testcase ./lus2lic.tests/test0.exp completed in 5 seconds lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 45 seconds -lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 81 seconds -lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 43 seconds -lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 100 seconds +lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 89 seconds +lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 78 seconds +lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 118 seconds * Ref time: -0.10user 0.06system 4:41.45elapsed 0%CPU (0avgtext+0avgdata 2464maxresident)k -0inputs+0outputs (0major+12514minor)pagefaults 0swaps +0.11user 0.07system 5:39.34elapsed 0%CPU (0avgtext+0avgdata 2472maxresident)k +0inputs+0outputs (0major+12526minor)pagefaults 0swaps * Quick time (-j 4): -0.09user 0.07system 2:25.78elapsed 0%CPU (0avgtext+0avgdata 2476maxresident)k -32inputs+0outputs (1major+12510minor)pagefaults 0swaps diff --git a/test/lus2lic.tests/test1.exp b/test/lus2lic.tests/test1.exp index aa9eb94b..4f73e0bb 100644 --- a/test/lus2lic.tests/test1.exp +++ b/test/lus2lic.tests/test1.exp @@ -2,7 +2,8 @@ set timeout 20 # for some reason [glob should_work/[a-n]*.lus] does not work -set ok_files [glob should_work/{a,b,c,d,e,f,g,h,i,j,k,l,m}*.lus] +set ok_files [glob should_work/{a,b,c,d,e,f,g,h,i,j,k,l,m,A,B,C,D,E,F,G,H,I,J,K,L,M}*.lus] + # should be a fresh dir... diff --git a/test/lus2lic.tests/test2.exp b/test/lus2lic.tests/test2.exp index fca9b36e..da5dc29d 100644 --- a/test/lus2lic.tests/test2.exp +++ b/test/lus2lic.tests/test2.exp @@ -2,7 +2,7 @@ set timeout 20 # for some reason [glob should_work/[a-n]*.lus] does not work -set ok_files [glob should_work/{n,o,p,q,r,s,t,u,v,w,x,y,z}*.lus] +set ok_files [glob should_work/{n,o,p,q,r,s,t,u,v,w,x,y,z,N,O,P,Q,R,S,T,U,V,W,X,Y,Z}*.lus] # should be a fresh dir... diff --git a/test/lus2lic.tests/test3.exp b/test/lus2lic.tests/test3.exp index 01df3f3b..c7660408 100644 --- a/test/lus2lic.tests/test3.exp +++ b/test/lus2lic.tests/test3.exp @@ -2,7 +2,7 @@ set timeout 20 # for some reason [glob should_work/[a-n]*.lus] does not work -set ok_files [glob should_work/{a,b,c,d,e,f,g,h,i,j,k,l,m}*.lus] +set ok_files [glob should_work/{a,b,c,d,e,f,g,h,i,j,k,l,m,A,B,C,D,E,F,G,H,I,J,K,L,M}*.lus] # should be a fresh dir... diff --git a/test/lus2lic.tests/test4.exp b/test/lus2lic.tests/test4.exp index 33ad76c7..2a1e137c 100644 --- a/test/lus2lic.tests/test4.exp +++ b/test/lus2lic.tests/test4.exp @@ -2,7 +2,7 @@ set timeout 20 # for some reason [glob should_work/[a-n]*.lus] does not work -set ok_files [glob should_work/{n,o,p,q,r,s,t,u,v,w,x,y,z}*.lus] +set ok_files [glob should_work/{n,o,p,q,r,s,t,u,v,w,x,y,z,N,O,P,Q,R,S,T,U,V,W,X,Y,Z}*.lus] # should be a fresh dir... diff --git a/test/lus2lic.time b/test/lus2lic.time index 26deb0fc..093c5f44 100644 --- a/test/lus2lic.time +++ b/test/lus2lic.time @@ -1,11 +1,11 @@ -lus2lic0.log:testcase ./lus2lic.tests/test0.exp completed in 5 seconds -lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 45 seconds -lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 81 seconds -lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 43 seconds -lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 100 seconds +lus2lic0.log:testcase ./lus2lic.tests/test0.exp completed in 3 seconds +lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 46 seconds +lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 80 seconds +lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 49 seconds +lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 110 seconds * Ref time: -0.10user 0.06system 4:41.45elapsed 0%CPU (0avgtext+0avgdata 2464maxresident)k -0inputs+0outputs (0major+12514minor)pagefaults 0swaps +0.12user 0.07system 4:52.81elapsed 0%CPU (0avgtext+0avgdata 2472maxresident)k +0inputs+0outputs (0major+12520minor)pagefaults 0swaps * Quick time (-j 4): -0.09user 0.07system 2:25.78elapsed 0%CPU (0avgtext+0avgdata 2476maxresident)k -32inputs+0outputs (1major+12510minor)pagefaults 0swaps +0.09user 0.06system 2:43.74elapsed 0%CPU (0avgtext+0avgdata 2476maxresident)k +0inputs+0outputs (0major+12508minor)pagefaults 0swaps diff --git a/test/lus2lic0.sum b/test/lus2lic0.sum deleted file mode 100644 index 52a2b699..00000000 --- a/test/lus2lic0.sum +++ /dev/null @@ -1,66 +0,0 @@ -Test Run By jahier on Fri Aug 22 10:52:27 2014 -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 diff --git a/test/lus2lic1.sum b/test/lus2lic1.sum deleted file mode 100644 index c7f5c007..00000000 --- a/test/lus2lic1.sum +++ /dev/null @@ -1,335 +0,0 @@ -Test Run By jahier on Fri Aug 22 10:52:33 2014 -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 2000 -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 2000 -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 2000 -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 2000 -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 2000 -PASS: ./lus2lic {-2c array_concat.lus -n array_concat} -PASS: gcc array_concat_array_concat.c array_concat_array_concat_loop.c -FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c array_concat.lus 2000 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -FAIL: Generate c code : ./lus2lic {-2c bug_map_fby.lus -n bug_map_fby} -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 2001 -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 2001 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2003 -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 2003 -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 2003 -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 2003 -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 2003 -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 2003 -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 2003 -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 2003 -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 2003 -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 2003 -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 2003 -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 2003 -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 2003 -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 2003 -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 2003 -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 2003 -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 2003 -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 2003 -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 2003 -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 2003 -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 2003 -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 2003 -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 2003 -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 2003 -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 2003 -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 2003 -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 2003 -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 2003 - - === lus2lic1 Summary === - -# of expected passes 298 -# of unexpected failures 22 diff --git a/test/lus2lic2.sum b/test/lus2lic2.sum deleted file mode 100644 index a200e9b0..00000000 --- a/test/lus2lic2.sum +++ /dev/null @@ -1,297 +0,0 @@ -Test Run By jahier on Fri Aug 22 10:53:19 2014 -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 2003 -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 2003 -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 2003 -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 2003 -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 2003 -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 2004 -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 2004 -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 2004 -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 2004 -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 2004 -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 2004 -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 2005 -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 2005 -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 2005 -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 2005 -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 2000 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -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 2001 -FAIL: Generate c code : ./lus2lic {-2c tranche.lus -n tranche} -FAIL: Check that the generated C code compiles : gcc tranche_tranche.c tranche_tranche_loop.c -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 2001 -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 2001 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 -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 2002 - - === lus2lic2 Summary === - -# of expected passes 275 -# of unexpected failures 7 diff --git a/test/lus2lic3.sum b/test/lus2lic3.sum deleted file mode 100644 index e3d4ac78..00000000 --- a/test/lus2lic3.sum +++ /dev/null @@ -1,468 +0,0 @@ -Test Run By jahier on Fri Aug 22 10:54:41 2014 -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 3000 -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 3000 -PASS: ./lus2lic {-o array_concat2.lic array_concat2.lus} -PASS: ./lus2lic {-ec -o array_concat2.ec array_concat2.lus} -FAIL: Try ec2c on the result: ./myec2c {-o array_concat2.c array_concat2.ec} -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 3000 -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 3000 -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 3000 -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 3000 -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 3000 -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 3000 -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 3000 -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 3000 -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 3000 -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 3000 -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 3000 -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 3000 -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 3000 -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 3000 -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 3000 -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 3000 -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 3000 -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 3000 -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 3000 -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 3000 -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 3000 -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 3000 -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 3000 -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 3000 -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 3000 -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 3000 -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 3000 -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 3000 -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 3000 -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 3000 -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 3000 -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 3000 -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 3000 -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 3000 -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 3000 -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 3000 -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 3000 -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 3000 -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 3000 -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 3000 -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 3000 -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 3000 -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 3000 -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 3000 -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 3000 -PASS: ./lus2lic {-o followed_by.lic followed_by.lus} -PASS: ./lus2lic {-ec -o followed_by.ec followed_by.lus} -PASS: ./myec2c {-o followed_by.c followed_by.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node followed_by.lus 3000 -PASS: ./lus2lic {-o flo.lic flo.lus} -PASS: ./lus2lic {-ec -o flo.ec flo.lus} -PASS: ./myec2c {-o flo.c flo.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node flo.lus 3000 -PASS: ./lus2lic {-o func_with_body.lic func_with_body.lus} -PASS: ./lus2lic {-ec -o func_with_body.ec func_with_body.lus} -PASS: ./myec2c {-o func_with_body.c func_with_body.ec} -PASS: ./lus2lic {-o heater_control.lic heater_control.lus} -PASS: ./lus2lic {-ec -o heater_control.ec heater_control.lus} -PASS: ./myec2c {-o heater_control.c heater_control.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node heater_control.lus 3000 -PASS: ./lus2lic {-o hanane.lic hanane.lus} -PASS: ./lus2lic {-ec -o hanane.ec hanane.lus} -PASS: ./myec2c {-o hanane.c hanane.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node hanane.lus 3000 -PASS: ./lus2lic {-o iter.lic iter.lus} -PASS: ./lus2lic {-ec -o iter.ec iter.lus} -PASS: ./myec2c {-o iter.c iter.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node iter.lus 3000 -PASS: ./lus2lic {-o is_stable.lic is_stable.lus} -PASS: ./lus2lic {-ec -o is_stable.ec is_stable.lus} -PASS: ./myec2c {-o is_stable.c is_stable.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node is_stable.lus 3000 -PASS: ./lus2lic {-o integrator.lic integrator.lus} -PASS: ./lus2lic {-ec -o integrator.ec integrator.lus} -PASS: ./myec2c {-o integrator.c integrator.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node integrator.lus 3000 -PASS: ./lus2lic {-o initial.lic initial.lus} -PASS: ./lus2lic {-ec -o initial.ec initial.lus} -PASS: ./myec2c {-o initial.c initial.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node initial.lus 3000 -PASS: ./lus2lic {-o impl_priority.lic impl_priority.lus} -PASS: ./lus2lic {-ec -o impl_priority.ec impl_priority.lus} -PASS: ./myec2c {-o impl_priority.c impl_priority.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node impl_priority.lus 3000 -PASS: ./lus2lic {-o import1.lic import1.lus} -PASS: ./lus2lic {-ec -o import1.ec import1.lus} -PASS: ./myec2c {-o import1.c import1.ec} -PASS: ./lus2lic {-o iterFibo.lic iterFibo.lus} -PASS: ./lus2lic {-ec -o iterFibo.ec iterFibo.lus} -PASS: ./myec2c {-o iterFibo.c iterFibo.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node iterFibo.lus 3000 -PASS: ./lus2lic {-o iterate.lic iterate.lus} -PASS: ./lus2lic {-ec -o iterate.ec iterate.lus} -PASS: ./myec2c {-o iterate.c iterate.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node iterate.lus 3000 -PASS: ./lus2lic {-o lucky.lic lucky.lus} -PASS: ./lus2lic {-ec -o lucky.ec lucky.lus} -PASS: ./myec2c {-o lucky.c lucky.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node lucky.lus 3000 -PASS: ./lus2lic {-o lustre_test1_ok.lic lustre_test1_ok.lus} -PASS: ./lus2lic {-ec -o lustre_test1_ok.ec lustre_test1_ok.lus} -PASS: ./myec2c {-o lustre_test1_ok.c lustre_test1_ok.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node lustre_test1_ok.lus 3000 -PASS: ./lus2lic {-o long_et_stupide_nom_de_noeud.lic long_et_stupide_nom_de_noeud.lus} -PASS: ./lus2lic {-ec -o long_et_stupide_nom_de_noeud.ec long_et_stupide_nom_de_noeud.lus} -PASS: ./myec2c {-o long_et_stupide_nom_de_noeud.c long_et_stupide_nom_de_noeud.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node long_et_stupide_nom_de_noeud.lus 3000 -PASS: ./lus2lic {-o left.lic left.lus} -PASS: ./lus2lic {-ec -o left.ec left.lus} -PASS: ./myec2c {-o left.c left.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node left.lus 3000 -PASS: ./lus2lic {-o lustre.lic lustre.lus} -PASS: ./lus2lic {-ec -o lustre.ec lustre.lus} -PASS: ./myec2c {-o lustre.c lustre.ec} -PASS: ./lus2lic {-o mouse2.lic mouse2.lus} -PASS: ./lus2lic {-ec -o mouse2.ec mouse2.lus} -PASS: ./myec2c {-o mouse2.c mouse2.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mouse2.lus 3000 -PASS: ./lus2lic {-o mappredef.lic mappredef.lus} -PASS: ./lus2lic {-ec -o mappredef.ec mappredef.lus} -PASS: ./myec2c {-o mappredef.c mappredef.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mappredef.lus 3000 -PASS: ./lus2lic {-o mm.lic mm.lus} -PASS: ./lus2lic {-ec -o mm.ec mm.lus} -PASS: ./myec2c {-o mm.c mm.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mm.lus 3000 -PASS: ./lus2lic {-o minmax5.lic minmax5.lus} -PASS: ./lus2lic {-ec -o minmax5.ec minmax5.lus} -PASS: ./myec2c {-o minmax5.c minmax5.ec} -PASS: ./lus2lic {-o mm1.lic mm1.lus} -PASS: ./lus2lic {-ec -o mm1.ec mm1.lus} -PASS: ./myec2c {-o mm1.c mm1.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mm1.lus 3000 -PASS: ./lus2lic {-o minmax5_random.lic minmax5_random.lus} -PASS: ./lus2lic {-ec -o minmax5_random.ec minmax5_random.lus} -PASS: ./myec2c {-o minmax5_random.c minmax5_random.ec} -PASS: ./lus2lic {-o matrice2.lic matrice2.lus} -PASS: ./lus2lic {-ec -o matrice2.ec matrice2.lus} -PASS: ./myec2c {-o matrice2.c matrice2.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node matrice2.lus 3000 -PASS: ./lus2lic {-o mm22.lic mm22.lus} -PASS: ./lus2lic {-ec -o mm22.ec mm22.lus} -PASS: ./myec2c {-o mm22.c mm22.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mm22.lus 3000 -PASS: ./lus2lic {-o model2.lic model2.lus} -PASS: ./lus2lic {-ec -o model2.ec model2.lus} -PASS: ./myec2c {-o model2.c model2.ec} -PASS: ./lus2lic {-o modes3x2_v2.lic modes3x2_v2.lus} -PASS: ./lus2lic {-ec -o modes3x2_v2.ec modes3x2_v2.lus} -PASS: ./myec2c {-o modes3x2_v2.c modes3x2_v2.ec} -FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node modes3x2_v2.lus 3000 -PASS: ./lus2lic {-o minmax3.lic minmax3.lus} -PASS: ./lus2lic {-ec -o minmax3.ec minmax3.lus} -PASS: ./myec2c {-o minmax3.c minmax3.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax3.lus 3000 -PASS: ./lus2lic {-o morel3.lic morel3.lus} -PASS: ./lus2lic {-ec -o morel3.ec morel3.lus} -PASS: ./myec2c {-o morel3.c morel3.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node morel3.lus 3000 -PASS: ./lus2lic {-o minmax2.lic minmax2.lus} -PASS: ./lus2lic {-ec -o minmax2.ec minmax2.lus} -PASS: ./myec2c {-o minmax2.c minmax2.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax2.lus 3000 -PASS: ./lus2lic {-o morel5.lic morel5.lus} -PASS: ./lus2lic {-ec -o morel5.ec morel5.lus} -PASS: ./myec2c {-o morel5.c morel5.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node morel5.lus 3000 -PASS: ./lus2lic {-o morel4.lic morel4.lus} -PASS: ./lus2lic {-ec -o morel4.ec morel4.lus} -PASS: ./myec2c {-o morel4.c morel4.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node morel4.lus 3000 -PASS: ./lus2lic {-o mouse.lic mouse.lus} -PASS: ./lus2lic {-ec -o mouse.ec mouse.lus} -PASS: ./myec2c {-o mouse.c mouse.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mouse.lus 3000 -PASS: ./lus2lic {-o mapinf.lic mapinf.lus} -PASS: ./lus2lic {-ec -o mapinf.ec mapinf.lus} -PASS: ./myec2c {-o mapinf.c mapinf.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mapinf.lus 3000 -PASS: ./lus2lic {-o mm3.lic mm3.lus} -PASS: ./lus2lic {-ec -o mm3.ec mm3.lus} -PASS: ./myec2c {-o mm3.c mm3.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mm3.lus 3000 -PASS: ./lus2lic {-o mouse1.lic mouse1.lus} -PASS: ./lus2lic {-ec -o mouse1.ec mouse1.lus} -PASS: ./myec2c {-o mouse1.c mouse1.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mouse1.lus 3000 -PASS: ./lus2lic {-o multiclock.lic multiclock.lus} -PASS: ./lus2lic {-ec -o multiclock.ec multiclock.lus} -PASS: ./myec2c {-o multiclock.c multiclock.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node multiclock.lus 3000 -PASS: ./lus2lic {-o morel.lic morel.lus} -PASS: ./lus2lic {-ec -o morel.ec morel.lus} -PASS: ./myec2c {-o morel.c morel.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node morel.lus 3000 -PASS: ./lus2lic {-o model.lic model.lus} -PASS: ./lus2lic {-ec -o model.ec model.lus} -PASS: ./myec2c {-o model.c model.ec} -PASS: ./lus2lic {-o matrice.lic matrice.lus} -PASS: ./lus2lic {-ec -o matrice.ec matrice.lus} -PASS: ./myec2c {-o matrice.c matrice.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node matrice.lus 3000 -PASS: ./lus2lic {-o multipar.lic multipar.lus} -PASS: ./lus2lic {-ec -o multipar.ec multipar.lus} -PASS: ./myec2c {-o multipar.c multipar.ec} -FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node multipar.lus 3000 -PASS: ./lus2lic {-o morel2.lic morel2.lus} -PASS: ./lus2lic {-ec -o morel2.ec morel2.lus} -PASS: ./myec2c {-o morel2.c morel2.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node morel2.lus 3000 -PASS: ./lus2lic {-o minmax1.lic minmax1.lus} -PASS: ./lus2lic {-ec -o minmax1.ec minmax1.lus} -PASS: ./myec2c {-o minmax1.c minmax1.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax1.lus 3000 -PASS: ./lus2lic {-o mouse3.lic mouse3.lus} -PASS: ./lus2lic {-ec -o mouse3.ec mouse3.lus} -PASS: ./myec2c {-o mouse3.c mouse3.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mouse3.lus 3000 -PASS: ./lus2lic {-o moyenne.lic moyenne.lus} -PASS: ./lus2lic {-ec -o moyenne.ec moyenne.lus} -PASS: ./myec2c {-o moyenne.c moyenne.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node moyenne.lus 3000 -PASS: ./lus2lic {-o map_red_iter.lic map_red_iter.lus} -PASS: ./lus2lic {-ec -o map_red_iter.ec map_red_iter.lus} -PASS: ./myec2c {-o map_red_iter.c map_red_iter.ec} -PASS: ./lus2lic {-o minmax4.lic minmax4.lus} -PASS: ./lus2lic {-ec -o minmax4.ec minmax4.lus} -PASS: ./myec2c {-o minmax4.c minmax4.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax4.lus 3000 -PASS: ./lus2lic {-o mapdeRed.lic mapdeRed.lus} -PASS: ./lus2lic {-ec -o mapdeRed.ec mapdeRed.lus} -PASS: ./myec2c {-o mapdeRed.c mapdeRed.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mapdeRed.lus 3000 -PASS: ./lus2lic {-o modelInst.lic modelInst.lus} -PASS: ./lus2lic {-ec -o modelInst.ec modelInst.lus} -PASS: ./myec2c {-o modelInst.c modelInst.ec} -PASS: ./lus2lic {-o minmax4_bis.lic minmax4_bis.lus} -PASS: ./lus2lic {-ec -o minmax4_bis.ec minmax4_bis.lus} -PASS: ./myec2c {-o minmax4_bis.c minmax4_bis.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax4_bis.lus 3000 -PASS: ./lus2lic {-o modes3x2_v4.lic modes3x2_v4.lus} -PASS: ./lus2lic {-ec -o modes3x2_v4.ec modes3x2_v4.lus} -FAIL: Try ec2c on the result: ./myec2c {-o modes3x2_v4.c modes3x2_v4.ec} -PASS: ./lus2lic {-o modes3x2_v3.lic modes3x2_v3.lus} -PASS: ./lus2lic {-ec -o modes3x2_v3.ec modes3x2_v3.lus} -FAIL: Try ec2c on the result: ./myec2c {-o modes3x2_v3.c modes3x2_v3.ec} -PASS: ./lus2lic {-o minmax6.lic minmax6.lus} -PASS: ./lus2lic {-ec -o minmax6.ec minmax6.lus} -PASS: ./myec2c {-o minmax6.c minmax6.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minmax6.lus 3000 -PASS: ./lus2lic {-o mapiter.lic mapiter.lus} -PASS: ./lus2lic {-ec -o mapiter.ec mapiter.lus} -PASS: ./myec2c {-o mapiter.c mapiter.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node mapiter.lus 3000 -PASS: ./lus2lic {-o modes3x2-simu.lic modes3x2-simu.lus} -PASS: ./lus2lic {-ec -o modes3x2-simu.ec modes3x2-simu.lus} -FAIL: Try ec2c on the result: ./myec2c {-o modes3x2-simu.c modes3x2-simu.ec} -PASS: ./lus2lic {-o minus.lic minus.lus} -PASS: ./lus2lic {-ec -o minus.ec minus.lus} -PASS: ./myec2c {-o minus.c minus.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node minus.lus 3000 - - === lus2lic3 Summary === - -# of expected passes 440 -# of unexpected failures 13 diff --git a/test/lus2lic4.sum b/test/lus2lic4.sum deleted file mode 100644 index b8d38fa4..00000000 --- a/test/lus2lic4.sum +++ /dev/null @@ -1,405 +0,0 @@ -Test Run By jahier on Fri Aug 22 10:55:26 2014 -Native configuration is i686-pc-linux-gnu - - === lus2lic4 tests === - -Schedule of variations: - unix - -Running target unix -Running ./lus2lic.tests/test4.exp ... -PASS: ./lus2lic {-o nc6.lic nc6.lus} -PASS: ./lus2lic {-ec -o nc6.ec nc6.lus} -PASS: ./myec2c {-o nc6.c nc6.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc6.lus 3000 -PASS: ./lus2lic {-o normal.lic normal.lus} -PASS: ./lus2lic {-ec -o normal.ec normal.lus} -PASS: ./myec2c {-o normal.c normal.ec} -PASS: ./lus2lic {-o nodeparam.lic nodeparam.lus} -PASS: ./lus2lic {-ec -o nodeparam.ec nodeparam.lus} -PASS: ./myec2c {-o nodeparam.c nodeparam.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nodeparam.lus 3000 -PASS: ./lus2lic {-o nc7.lic nc7.lus} -PASS: ./lus2lic {-ec -o nc7.ec nc7.lus} -PASS: ./myec2c {-o nc7.c nc7.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc7.lus 3000 -PASS: ./lus2lic {-o nc9.lic nc9.lus} -PASS: ./lus2lic {-ec -o nc9.ec nc9.lus} -PASS: ./myec2c {-o nc9.c nc9.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc9.lus 3000 -PASS: ./lus2lic {-o nc8.lic nc8.lus} -PASS: ./lus2lic {-ec -o nc8.ec nc8.lus} -PASS: ./myec2c {-o nc8.c nc8.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc8.lus 3000 -PASS: ./lus2lic {-o node_caller1.lic node_caller1.lus} -PASS: ./lus2lic {-ec -o node_caller1.ec node_caller1.lus} -PASS: ./myec2c {-o node_caller1.c node_caller1.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node node_caller1.lus 3000 -PASS: ./lus2lic {-o nc1.lic nc1.lus} -PASS: ./lus2lic {-ec -o nc1.ec nc1.lus} -PASS: ./myec2c {-o nc1.c nc1.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc1.lus 3000 -PASS: ./lus2lic {-o newpacks.lic newpacks.lus} -PASS: ./lus2lic {-ec -o newpacks.ec newpacks.lus} -PASS: ./myec2c {-o newpacks.c newpacks.ec} -PASS: ./lus2lic {-o noAlarm.lic noAlarm.lus} -PASS: ./lus2lic {-ec -o noAlarm.ec noAlarm.lus} -PASS: ./myec2c {-o noAlarm.c noAlarm.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node noAlarm.lus 3000 -PASS: ./lus2lic {-o noeudsIndependants.lic noeudsIndependants.lus} -PASS: ./lus2lic {-ec -o noeudsIndependants.ec noeudsIndependants.lus} -PASS: ./myec2c {-o noeudsIndependants.c noeudsIndependants.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node noeudsIndependants.lus 3000 -PASS: ./lus2lic {-o nc4.lic nc4.lus} -PASS: ./lus2lic {-ec -o nc4.ec nc4.lus} -PASS: ./myec2c {-o nc4.c nc4.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc4.lus 3000 -PASS: ./lus2lic {-o nc5.lic nc5.lus} -PASS: ./lus2lic {-ec -o nc5.ec nc5.lus} -PASS: ./myec2c {-o nc5.c nc5.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc5.lus 3000 -PASS: ./lus2lic {-o nc2.lic nc2.lus} -PASS: ./lus2lic {-ec -o nc2.ec nc2.lus} -PASS: ./myec2c {-o nc2.c nc2.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc2.lus 3000 -PASS: ./lus2lic {-o notTwo.lic notTwo.lus} -PASS: ./lus2lic {-ec -o notTwo.ec notTwo.lus} -PASS: ./myec2c {-o notTwo.c notTwo.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node notTwo.lus 3000 -PASS: ./lus2lic {-o nested.lic nested.lus} -PASS: ./lus2lic {-ec -o nested.ec nested.lus} -PASS: ./myec2c {-o nested.c nested.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nested.lus 3000 -PASS: ./lus2lic {-o nc10.lic nc10.lus} -PASS: ./lus2lic {-ec -o nc10.ec nc10.lus} -PASS: ./myec2c {-o nc10.c nc10.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc10.lus 3000 -PASS: ./lus2lic {-o nc3.lic nc3.lus} -PASS: ./lus2lic {-ec -o nc3.ec nc3.lus} -PASS: ./myec2c {-o nc3.c nc3.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node nc3.lus 3000 -PASS: ./lus2lic {-o onlyroll2.lic onlyroll2.lus} -PASS: ./lus2lic {-ec -o onlyroll2.ec onlyroll2.lus} -PASS: ./myec2c {-o onlyroll2.c onlyroll2.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node onlyroll2.lus 3000 -PASS: ./lus2lic {-o onlyroll.lic onlyroll.lus} -PASS: ./lus2lic {-ec -o onlyroll.ec onlyroll.lus} -PASS: ./myec2c {-o onlyroll.c onlyroll.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node onlyroll.lus 3000 -PASS: ./lus2lic {-o over2.lic over2.lus} -PASS: ./lus2lic {-ec -o over2.ec over2.lus} -PASS: ./myec2c {-o over2.c over2.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node over2.lus 3000 -PASS: ./lus2lic {-o over3.lic over3.lus} -PASS: ./lus2lic {-ec -o over3.ec over3.lus} -PASS: ./myec2c {-o over3.c over3.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node over3.lus 3000 -PASS: ./lus2lic {-o o2l_feux_compl.lic o2l_feux_compl.lus} -PASS: ./lus2lic {-ec -o o2l_feux_compl.ec o2l_feux_compl.lus} -PASS: ./myec2c {-o o2l_feux_compl.c o2l_feux_compl.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node o2l_feux_compl.lus 3000 -PASS: ./lus2lic {-o predefOp.lic predefOp.lus} -PASS: ./lus2lic {-ec -o predefOp.ec predefOp.lus} -PASS: ./myec2c {-o predefOp.c predefOp.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node predefOp.lus 3000 -PASS: ./lus2lic {-o packageTableau.lic packageTableau.lus} -PASS: ./lus2lic {-ec -o packageTableau.ec packageTableau.lus} -PASS: ./myec2c {-o packageTableau.c packageTableau.ec} -PASS: ./lus2lic {-o predef03.lic predef03.lus} -PASS: ./lus2lic {-ec -o predef03.ec predef03.lus} -PASS: ./myec2c {-o predef03.c predef03.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node predef03.lus 3000 -PASS: ./lus2lic {-o polymorphic_pack.lic polymorphic_pack.lus} -PASS: ./lus2lic {-ec -o polymorphic_pack.ec polymorphic_pack.lus} -PASS: ./myec2c {-o polymorphic_pack.c polymorphic_pack.ec} -PASS: ./lus2lic {-o ply03.lic ply03.lus} -PASS: ./lus2lic {-ec -o ply03.ec ply03.lus} -PASS: ./myec2c {-o ply03.c ply03.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ply03.lus 3000 -PASS: ./lus2lic {-o param_struct.lic param_struct.lus} -PASS: ./lus2lic {-ec -o param_struct.ec param_struct.lus} -PASS: ./myec2c {-o param_struct.c param_struct.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node param_struct.lus 3000 -PASS: ./lus2lic {-o plus.lic plus.lus} -PASS: ./lus2lic {-ec -o plus.ec plus.lus} -PASS: ./myec2c {-o plus.c plus.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node plus.lus 3000 -PASS: ./lus2lic {-o pilote-1.0.lic pilote-1.0.lus} -PASS: ./lus2lic {-ec -o pilote-1.0.ec pilote-1.0.lus} -PASS: ./myec2c {-o pilote-1.0.c pilote-1.0.ec} -PASS: ./lus2lic {-o packs.lic packs.lus} -PASS: ./lus2lic {-ec -o packs.ec packs.lus} -PASS: ./myec2c {-o packs.c packs.ec} -PASS: ./lus2lic {-o param_node4.lic param_node4.lus} -PASS: ./lus2lic {-ec -o param_node4.ec param_node4.lus} -PASS: ./myec2c {-o param_node4.c param_node4.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node param_node4.lus 3000 -PASS: ./lus2lic {-o produitBool.lic produitBool.lus} -PASS: ./lus2lic {-ec -o produitBool.ec produitBool.lus} -PASS: ./myec2c {-o produitBool.c produitBool.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node produitBool.lus 3000 -PASS: ./lus2lic {-o param_node3.lic param_node3.lus} -PASS: ./lus2lic {-ec -o param_node3.ec param_node3.lus} -PASS: ./myec2c {-o param_node3.c param_node3.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node param_node3.lus 3000 -PASS: ./lus2lic {-o pipeline.lic pipeline.lus} -PASS: ./lus2lic {-ec -o pipeline.ec pipeline.lus} -PASS: ./myec2c {-o pipeline.c pipeline.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node pipeline.lus 3000 -PASS: ./lus2lic {-o predef01.lic predef01.lus} -PASS: ./lus2lic {-ec -o predef01.ec predef01.lus} -PASS: ./myec2c {-o predef01.c predef01.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node predef01.lus 3000 -PASS: ./lus2lic {-o param_node2.lic param_node2.lus} -PASS: ./lus2lic {-ec -o param_node2.ec param_node2.lus} -PASS: ./myec2c {-o param_node2.c param_node2.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node param_node2.lus 3000 -PASS: ./lus2lic {-o ply01.lic ply01.lus} -PASS: ./lus2lic {-ec -o ply01.ec ply01.lus} -PASS: ./myec2c {-o ply01.c ply01.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ply01.lus 3000 -PASS: ./lus2lic {-o pack1.lic pack1.lus} -PASS: ./lus2lic {-ec -o pack1.ec pack1.lus} -PASS: ./myec2c {-o pack1.c pack1.ec} -PASS: ./lus2lic {-o p.lic p.lus} -PASS: ./lus2lic {-ec -o p.ec p.lus} -PASS: ./myec2c {-o p.c p.ec} -PASS: ./lus2lic {-o pre_x.lic pre_x.lus} -PASS: ./lus2lic {-ec -o pre_x.ec pre_x.lus} -PASS: ./myec2c {-o pre_x.c pre_x.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node pre_x.lus 3000 -PASS: ./lus2lic {-o packed_cst.lic packed_cst.lus} -PASS: ./lus2lic {-ec -o packed_cst.ec packed_cst.lus} -PASS: ./myec2c {-o packed_cst.c packed_cst.ec} -PASS: ./lus2lic {-o predef02.lic predef02.lus} -PASS: ./lus2lic {-ec -o predef02.ec predef02.lus} -PASS: ./myec2c {-o predef02.c predef02.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node predef02.lus 3000 -PASS: ./lus2lic {-o poussoir.lic poussoir.lus} -PASS: ./lus2lic {-ec -o poussoir.ec poussoir.lus} -PASS: ./myec2c {-o poussoir.c poussoir.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node poussoir.lus 3000 -PASS: ./lus2lic {-o param_node.lic param_node.lus} -PASS: ./lus2lic {-ec -o param_node.ec param_node.lus} -PASS: ./myec2c {-o param_node.c param_node.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node param_node.lus 3000 -PASS: ./lus2lic {-o redIf.lic redIf.lus} -PASS: ./lus2lic {-ec -o redIf.ec redIf.lus} -PASS: ./myec2c {-o redIf.c redIf.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node redIf.lus 3000 -PASS: ./lus2lic {-o rs.lic rs.lus} -PASS: ./lus2lic {-ec -o rs.ec rs.lus} -PASS: ./myec2c {-o rs.c rs.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node rs.lus 3000 -PASS: ./lus2lic {-o rediter.lic rediter.lus} -PASS: ./lus2lic {-ec -o rediter.ec rediter.lus} -PASS: ./myec2c {-o rediter.c rediter.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node rediter.lus 3000 -PASS: ./lus2lic {-o redoptest.lic redoptest.lus} -PASS: ./lus2lic {-ec -o redoptest.ec redoptest.lus} -PASS: ./myec2c {-o redoptest.c redoptest.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node redoptest.lus 3000 -PASS: ./lus2lic {-o remplissage-1.0.lic remplissage-1.0.lus} -PASS: ./lus2lic {-ec -o remplissage-1.0.ec remplissage-1.0.lus} -PASS: ./myec2c {-o remplissage-1.0.c remplissage-1.0.ec} -PASS: ./lus2lic {-o struct_with.lic struct_with.lus} -PASS: ./lus2lic {-ec -o struct_with.ec struct_with.lus} -PASS: ./myec2c {-o struct_with.c struct_with.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node struct_with.lus 3000 -PASS: ./lus2lic {-o shift_ludic.lic shift_ludic.lus} -PASS: ./lus2lic {-ec -o shift_ludic.ec shift_ludic.lus} -PASS: ./myec2c {-o shift_ludic.c shift_ludic.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node shift_ludic.lus 3000 -PASS: ./lus2lic {-o sincos.lic sincos.lus} -PASS: ./lus2lic {-ec -o sincos.ec sincos.lus} -PASS: ./myec2c {-o sincos.c sincos.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node sincos.lus 3000 -PASS: ./lus2lic {-o sample_time_change_MainNode.lic sample_time_change_MainNode.lus} -PASS: ./lus2lic {-ec -o sample_time_change_MainNode.ec sample_time_change_MainNode.lus} -PASS: ./myec2c {-o sample_time_change_MainNode.c sample_time_change_MainNode.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node sample_time_change_MainNode.lus 3000 -PASS: ./lus2lic {-o stopwatch.lic stopwatch.lus} -PASS: ./lus2lic {-ec -o stopwatch.ec stopwatch.lus} -PASS: ./myec2c {-o stopwatch.c stopwatch.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node stopwatch.lus 3000 -PASS: ./lus2lic {-o struct0.lic struct0.lus} -PASS: ./lus2lic {-ec -o struct0.ec struct0.lus} -PASS: ./myec2c {-o struct0.c struct0.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node struct0.lus 3000 -PASS: ./lus2lic {-o simpleRed.lic simpleRed.lus} -PASS: ./lus2lic {-ec -o simpleRed.ec simpleRed.lus} -PASS: ./myec2c {-o simpleRed.c simpleRed.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node simpleRed.lus 3000 -PASS: ./lus2lic {-o shiftFill_ludic.lic shiftFill_ludic.lus} -PASS: ./lus2lic {-ec -o shiftFill_ludic.ec shiftFill_ludic.lus} -PASS: ./myec2c {-o shiftFill_ludic.c shiftFill_ludic.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node shiftFill_ludic.lus 3000 -PASS: ./lus2lic {-o speedcontrol.lic speedcontrol.lus} -PASS: ./lus2lic {-ec -o speedcontrol.ec speedcontrol.lus} -PASS: ./myec2c {-o speedcontrol.c speedcontrol.ec} -FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node speedcontrol.lus 3000 -PASS: ./lus2lic {-o simple.lic simple.lus} -PASS: ./lus2lic {-ec -o simple.ec simple.lus} -PASS: ./myec2c {-o simple.c simple.ec} -PASS: ./lus2lic {-o testPilote.lic testPilote.lus} -PASS: ./lus2lic {-ec -o testPilote.ec testPilote.lus} -PASS: ./myec2c {-o testPilote.c testPilote.ec} -PASS: ./lus2lic {-o t0.lic t0.lus} -PASS: ./lus2lic {-ec -o t0.ec t0.lus} -PASS: ./myec2c {-o t0.c t0.ec} -PASS: ./lus2lic {-o titi.lic titi.lus} -PASS: ./lus2lic {-ec -o titi.ec titi.lus} -PASS: ./myec2c {-o titi.c titi.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node titi.lus 3000 -PASS: ./lus2lic {-o toolate.lic toolate.lus} -PASS: ./lus2lic {-ec -o toolate.ec toolate.lus} -PASS: ./myec2c {-o toolate.c toolate.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node toolate.lus 3000 -PASS: ./lus2lic {-o testCapt.lic testCapt.lus} -PASS: ./lus2lic {-ec -o testCapt.ec testCapt.lus} -PASS: ./myec2c {-o testCapt.c testCapt.ec} -PASS: ./lus2lic {-o t1.lic t1.lus} -PASS: ./lus2lic {-ec -o t1.ec t1.lus} -PASS: ./myec2c {-o t1.c t1.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node t1.lus 3000 -PASS: ./lus2lic {-o test_poly.lic test_poly.lus} -PASS: ./lus2lic {-ec -o test_poly.ec test_poly.lus} -PASS: ./myec2c {-o test_poly.c test_poly.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_poly.lus 3000 -PASS: ./lus2lic {-o testBoite.lic testBoite.lus} -PASS: ./lus2lic {-ec -o testBoite.ec testBoite.lus} -PASS: ./myec2c {-o testBoite.c testBoite.ec} -PASS: ./lus2lic {-o test_node_expand2.lic test_node_expand2.lus} -PASS: ./lus2lic {-ec -o test_node_expand2.ec test_node_expand2.lus} -PASS: ./myec2c {-o test_node_expand2.c test_node_expand2.ec} -FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_node_expand2.lus 3000 -PASS: ./lus2lic {-o test.lic test.lus} -PASS: ./lus2lic {-ec -o test.ec test.lus} -PASS: ./myec2c {-o test.c test.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test.lus 3000 -PASS: ./lus2lic {-o test_node_expand.lic test_node_expand.lus} -PASS: ./lus2lic {-ec -o test_node_expand.ec test_node_expand.lus} -PASS: ./myec2c {-o test_node_expand.c test_node_expand.ec} -FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_node_expand.lus 3000 -PASS: ./lus2lic {-o test_clash.lic test_clash.lus} -PASS: ./lus2lic {-ec -o test_clash.ec test_clash.lus} -PASS: ./myec2c {-o test_clash.c test_clash.ec} -PASS: ./lus2lic {-o trivial.lic trivial.lus} -PASS: ./lus2lic {-ec -o trivial.ec trivial.lus} -PASS: ./myec2c {-o trivial.c trivial.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node trivial.lus 3000 -PASS: ./lus2lic {-o test_diese.lic test_diese.lus} -PASS: ./lus2lic {-ec -o test_diese.ec test_diese.lus} -PASS: ./myec2c {-o test_diese.c test_diese.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_diese.lus 3000 -PASS: ./lus2lic {-o tri.lic tri.lus} -PASS: ./lus2lic {-ec -o tri.ec tri.lus} -PASS: ./myec2c {-o tri.c tri.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node tri.lus 3000 -PASS: ./lus2lic {-o testCA.lic testCA.lus} -PASS: ./lus2lic {-ec -o testCA.ec testCA.lus} -PASS: ./myec2c {-o testCA.c testCA.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node testCA.lus 3000 -PASS: ./lus2lic {-o test_extern.lic test_extern.lus} -PASS: ./lus2lic {-ec -o test_extern.ec test_extern.lus} -PASS: ./myec2c {-o test_extern.c test_extern.ec} -PASS: ./lus2lic {-o trivial_array.lic trivial_array.lus} -FAIL: Generate ec code : ./lus2lic {-ec -o trivial_array.ec trivial_array.lus} -FAIL: without any option: ./lus2lic {-o tranche.lic tranche.lus} -PASS: ./lus2lic {-o t2.lic t2.lus} -PASS: ./lus2lic {-ec -o t2.ec t2.lus} -PASS: ./myec2c {-o t2.c t2.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node t2.lus 3000 -PASS: ./lus2lic {-o test_const.lic test_const.lus} -PASS: ./lus2lic {-ec -o test_const.ec test_const.lus} -PASS: ./myec2c {-o test_const.c test_const.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_const.lus 3000 -PASS: ./lus2lic {-o test_merge.lic test_merge.lus} -PASS: ./lus2lic {-ec -o test_merge.ec test_merge.lus} -FAIL: Try ec2c on the result: ./myec2c {-o test_merge.c test_merge.ec} -PASS: ./lus2lic {-o test_enum.lic test_enum.lus} -PASS: ./lus2lic {-ec -o test_enum.ec test_enum.lus} -PASS: ./myec2c {-o test_enum.c test_enum.ec} -PASS: ./lus2lic {-o ts04.lic ts04.lus} -PASS: ./lus2lic {-ec -o ts04.ec ts04.lus} -PASS: ./myec2c {-o ts04.c ts04.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ts04.lus 3000 -PASS: ./lus2lic {-o test_arrow.lic test_arrow.lus} -PASS: ./lus2lic {-ec -o test_arrow.ec test_arrow.lus} -PASS: ./myec2c {-o test_arrow.c test_arrow.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_arrow.lus 3000 -PASS: ./lus2lic {-o type_decl.lic type_decl.lus} -PASS: ./lus2lic {-ec -o type_decl.ec type_decl.lus} -PASS: ./myec2c {-o type_decl.c type_decl.ec} -PASS: ./lus2lic {-o test_condact.lic test_condact.lus} -PASS: ./lus2lic {-ec -o test_condact.ec test_condact.lus} -PASS: ./myec2c {-o test_condact.c test_condact.ec} -FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_condact.lus 3000 -PASS: ./lus2lic {-o test_map.lic test_map.lus} -PASS: ./lus2lic {-ec -o test_map.ec test_map.lus} -PASS: ./myec2c {-o test_map.c test_map.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_map.lus 3000 -PASS: ./lus2lic {-o test_struct.lic test_struct.lus} -PASS: ./lus2lic {-ec -o test_struct.ec test_struct.lus} -PASS: ./myec2c {-o test_struct.c test_struct.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_struct.lus 3000 -PASS: ./lus2lic {-o ts01.lic ts01.lus} -PASS: ./lus2lic {-ec -o ts01.ec ts01.lus} -PASS: ./myec2c {-o ts01.c ts01.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node ts01.lus 3000 -PASS: ./lus2lic {-o toto.lic toto.lus} -PASS: ./lus2lic {-ec -o toto.ec toto.lus} -PASS: ./myec2c {-o toto.c toto.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node toto.lus 3000 -PASS: ./lus2lic {-o tuple.lic tuple.lus} -PASS: ./lus2lic {-ec -o tuple.ec tuple.lus} -PASS: ./myec2c {-o tuple.c tuple.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node tuple.lus 3000 -PASS: ./lus2lic {-o triSel.lic triSel.lus} -PASS: ./lus2lic {-ec -o triSel.ec triSel.lus} -PASS: ./myec2c {-o triSel.c triSel.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node triSel.lus 3000 -PASS: ./lus2lic {-o test_boolred.lic test_boolred.lus} -PASS: ./lus2lic {-ec -o test_boolred.ec test_boolred.lus} -PASS: ./myec2c {-o test_boolred.c test_boolred.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node test_boolred.lus 3000 -PASS: ./lus2lic {-o trivial2.lic trivial2.lus} -PASS: ./lus2lic {-ec -o trivial2.ec trivial2.lus} -PASS: ./myec2c {-o trivial2.c trivial2.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node trivial2.lus 3000 -PASS: ./lus2lic {-o uu.lic uu.lus} -PASS: ./lus2lic {-ec -o uu.ec uu.lus} -PASS: ./myec2c {-o uu.c uu.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node uu.lus 3000 -PASS: ./lus2lic {-o v1.lic v1.lus} -PASS: ./lus2lic {-ec -o v1.ec v1.lus} -PASS: ./myec2c {-o v1.c v1.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node v1.lus 3000 -PASS: ./lus2lic {-o when_tuple.lic when_tuple.lus} -PASS: ./lus2lic {-ec -o when_tuple.ec when_tuple.lus} -PASS: ./myec2c {-o when_tuple.c when_tuple.ec} -PASS: ./lus2lic {-o xx.lic xx.lus} -PASS: ./lus2lic {-ec -o xx.ec xx.lus} -PASS: ./myec2c {-o xx.c xx.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node xx.lus 3000 -PASS: ./lus2lic {-o xxx.lic xxx.lus} -PASS: ./lus2lic {-ec -o xxx.ec xxx.lus} -PASS: ./myec2c {-o xxx.c xxx.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node xxx.lus 3000 -PASS: ./lus2lic {-o yyy.lic yyy.lus} -PASS: ./lus2lic {-ec -o yyy.ec yyy.lus} -PASS: ./myec2c {-o yyy.c yyy.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node yyy.lus 3000 -PASS: ./lus2lic {-o zzz2.lic zzz2.lus} -PASS: ./lus2lic {-ec -o zzz2.ec zzz2.lus} -PASS: ./myec2c {-o zzz2.c zzz2.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node zzz2.lus 3000 -PASS: ./lus2lic {-o zzz.lic zzz.lus} -PASS: ./lus2lic {-ec -o zzz.ec zzz.lus} -PASS: ./myec2c {-o zzz.c zzz.ec} -PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node zzz.lus 3000 - - === lus2lic4 Summary === - -# of expected passes 383 -# of unexpected failures 7 diff --git a/test/site.exp b/test/site.exp index d5eaa4fc..31e13643 100644 --- a/test/site.exp +++ b/test/site.exp @@ -1,4 +1,4 @@ -# Time-stamp: <modified the 22/08/2014 (at 10:34) by Erwan Jahier> +# Time-stamp: <modified the 22/08/2014 (at 13:42) by Erwan Jahier> # # (nonreg-)test harness main file @@ -201,7 +201,7 @@ proc nonreg_exec_and_2c {files tmp} { } cd $tmp foreach f $files { - set port [get_next_free_port 2000] + set port [get_free_port] set f_no_ext [file rootname $f] set bf [file tail $f_no_ext] set f [file tail $f] @@ -246,7 +246,7 @@ proc nonreg_exec_and_ecexe {files tmp} { } cd $tmp foreach f $files { - set port [get_next_free_port 3000] + set port [get_free_port] set f_no_ext [file rootname $f] set bf [file tail $f_no_ext] set f [file tail $f] diff --git a/todo.org b/todo.org index b5181a1a..e8bfda7b 100644 --- a/todo.org +++ b/todo.org @@ -33,7 +33,7 @@ generates incorrect ec code instead of raising an error. ** TODO divergence -exec et -2c - State "TODO" from "" [2014-07-11 Fri 12:02] -grep "FAIL:" lus2lic.log | grep "exec" | grep "\-2c" | sed s/'FAIL: Try to compare lus2lic -exec and -2c:'/-/ +grep "FAIL:" lus2lic*.log | grep "exec" | grep "\-2c" | sed s/'FAIL: Try to compare lus2lic -exec and -2c:'/-/ 1. ../utils/compare_exec_and_2c should_work/test_node_expand2.lus -> -2110104000 est n'est pas un entier acceptable pour lutin sur les machines 32 bits... @@ -41,7 +41,7 @@ grep "FAIL:" lus2lic.log | grep "exec" | grep "\-2c" | sed s/'FAIL: Try to compa 2. ../utils/compare_exec_and_2c should_work/test_node_expand.lus -> idem -3. ../utils/compare_exec_and_2c should_work/PCOND1.lus +3. ../utils/compare_exec_and_2c should_work/PCOND1.lus 2000 -> File "../obj-linux/socExecValue.ml", line 243, characters 6-12: Assertion failed 4. ../utils/compare_exec_and_2c should_work/multipar.lus @@ -146,8 +146,6 @@ file:src/astInstanciateModel.ml file:test/should_fail/type/parametric_node.lus * Testing process -** TODO Use severale machine to launch tests in paralell - - State "TODO" from "" [2014-08-14 Thu 11:23] ** TODO Testing node with enums don't work - State "TODO" from "" [2013-05-28 Tue 14:46] @@ -207,7 +205,6 @@ lus2ec voir. modifer file:~/lus2lic/utils/test_lus2lic_no_node - ** TODO pour ceux la ils suffit d'expanser. Comment eviter que les tests echouent ? - lus2lic -2c should_work/activation2.lus -n activation2 - lus2lic -2c should_work/activation1.lus -n activation1 diff --git a/utils/compare_exec_and_2c b/utils/compare_exec_and_2c index 45624d46..07723baf 100755 --- a/utils/compare_exec_and_2c +++ b/utils/compare_exec_and_2c @@ -55,6 +55,7 @@ then echo "Comparison of lus2lic -2c and lus2lic -exec with lurette on $lustre_file: ok" echo "lurettetop ok" else + touch a.out-via-sockets-stderr.log cp a.out-via-sockets-stderr.log $node-out-via-sockets-stderr.log echo "error" exit 2 -- GitLab