lus2lic.sum

==> lus2lic0.sum <==
Test run by jahier on Mon Oct  8 15:16:04 
Native configuration is x86_64-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/carligths.lus
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/Gyro.lus
XFAIL: Test bad programs (type): test_lus2lic_no_node should_fail/type/Gyro2.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/const2.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/merge_bad_enum.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/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/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/parametric_node.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/parametric_node3.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/t1.lus
XFAIL: Test bad programs (type): test_lus2lic_no_node should_fail/type/ts02.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/bad_id.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/clock2.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/when_enum.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/arity.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/aux1.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/const2.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/depend.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/import2.lus
XFAIL: Test bad programs (semantics): test_lus2lic_no_node should_fail/semantics/m.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/parametric_node4.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/sargs.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/t.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/tranche.lus
XFAIL: Test bad programs (semantics): test_lus2lic_no_node should_fail/semantics/x.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/alarme.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/drapfab.lus
XFAIL: Test bad programs (assert): test_lus2lic_no_node should_fail/assert/eq1.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/s.lus

==> lus2lic1.sum <==
Test run by jahier on Mon Oct  8 15:16:06 
Native configuration is x86_64-pc-linux-gnu

		=== lus2lic1 tests ===

Schedule of variations:
    unix

Running target unix
Running ./lus2lic.tests/test1.exp ...
PASS: ./lus2lic  {-2c COUNTER.lus -n COUNTER}
PASS: sh COUNTER.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c COUNTER.lus  {}
PASS: ./lus2lic  {-2c CURRENT.lus -n CURRENT}
PASS: sh CURRENT.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c CURRENT.lus  {}
PASS: ./lus2lic  {-2c Condact.lus -n Condact}
PASS: ./lus2lic  {-2c EDGE.lus -n EDGE}
PASS: sh EDGE.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c EDGE.lus  {}
PASS: ./lus2lic  {-2c ELMU.lus -n ELMU}
PASS: sh ELMU.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ELMU.lus  {}
PASS: ./lus2lic  {-2c FALLING_EDGE.lus -n FALLING_EDGE}
PASS: sh FALLING_EDGE.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c FALLING_EDGE.lus  {}
PASS: ./lus2lic  {-2c FillFollowedByRed.lus -n FillFollowedByRed}
PASS: sh FillFollowedByRed.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c FillFollowedByRed.lus  {}
PASS: ./lus2lic  {-2c Gyroscope.lus -n Gyroscope}
PASS: sh Gyroscope.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c Gyroscope.lus  {}
PASS: ./lus2lic  {-2c Gyroscope2.lus -n Gyroscope2}
PASS: sh Gyroscope2.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c Gyroscope2.lus  {}
PASS: ./lus2lic  {-2c aa.lus -n aa}
PASS: sh aa.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c aa.lus  {}
PASS: ./lus2lic  {-2c access.lus -n access}
PASS: sh access.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c access.lus  {}
PASS: ./lus2lic  --expand-nodes {-2c activation1.lus -n activation1}
PASS: sh activation1.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c activation1.lus  { --expand-nodes}
PASS: ./lus2lic  --expand-nodes {-2c activation2.lus -n activation2}
PASS: sh activation2.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c activation2.lus  { --expand-nodes}
PASS: ./lus2lic  {-2c activation_ec.lus -n activation_ec}
PASS: sh activation_ec.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c activation_ec.lus  {}
PASS: ./lus2lic  {-2c after.lus -n after}
PASS: sh after.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c after.lus  {}
PASS: ./lus2lic  {-2c alias.lus -n alias}
PASS: sh alias.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c alias.lus  {}
PASS: ./lus2lic  {-2c amaury.lus -n amaury}
PASS: sh amaury.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c amaury.lus  {}
PASS: ./lus2lic  {-2c arbitre.lus -n arbitre}
PASS: ./lus2lic  {-2c argos.lus -n argos}
PASS: sh argos.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c argos.lus  {}
PASS: ./lus2lic  {-2c array_concat.lus -n array_concat}
PASS: sh array_concat.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c array_concat.lus  {}
PASS: ./lus2lic  {-2c array_concat2.lus -n array_concat2}
PASS: sh array_concat2.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c array_concat2.lus  {}
PASS: ./lus2lic  {-2c array_equals.lus -n array_equals}
PASS: sh array_equals.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c array_equals.lus  {}
PASS: ./lus2lic  {-2c arrays.lus -n arrays}
PASS: sh arrays.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c arrays.lus  {}
PASS: ./lus2lic  --expand-nodes {-2c asservi.lus -n asservi}
PASS: ./lus2lic  {-2c bad_call03.lus -n bad_call03}
PASS: sh bad_call03.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bad_call03.lus  {}
PASS: ./lus2lic  {-2c bascule.lus -n bascule}
PASS: sh bascule.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bascule.lus  {}
PASS: ./lus2lic  {-2c bob.lus -n bob}
PASS: sh bob.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bob.lus  {}
PASS: ./lus2lic  {-2c bred.lus -n bred}
PASS: sh bred.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bred.lus  {}
PASS: ./lus2lic  {-2c bred_lv4.lus -n bred_lv4}
PASS: sh bred_lv4.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bred_lv4.lus  {}
PASS: ./lus2lic  {-2c bug.lus -n bug}
PASS: sh bug.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bug.lus  {}
PASS: ./lus2lic  {-2c bug2.lus -n bug2}
PASS: sh bug2.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c bug2.lus  {}
PASS: ./lus2lic  {-2c calculs_max.lus -n calculs_max}
PASS: sh calculs_max.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c calculs_max.lus  {}
PASS: ./lus2lic  {-2c call.lus -n call}
PASS: ./lus2lic  {-2c call01.lus -n call01}
PASS: ./lus2lic  {-2c call02.lus -n call02}
PASS: sh call02.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c call02.lus  {}
PASS: ./lus2lic  {-2c call03.lus -n call03}
PASS: ./lus2lic  {-2c call04.lus -n call04}
PASS: sh call04.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c call04.lus  {}
PASS: ./lus2lic  {-2c call05.lus -n call05}
PASS: ./lus2lic  {-2c call06.lus -n call06}
PASS: ./lus2lic  {-2c call07.lus -n call07}
PASS: sh call07.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c call07.lus  {}
PASS: ./lus2lic  {-2c carV2.lus -n carV2}
PASS: sh carV2.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c carV2.lus  {}
PASS: ./lus2lic  {-2c carligths.lus -n carligths}
PASS: sh carligths.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c carligths.lus  {}
PASS: ./lus2lic  {-2c ck2.lus -n ck2}
PASS: sh ck2.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ck2.lus  {}
PASS: ./lus2lic  {-2c ck3.lus -n ck3}
PASS: sh ck3.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ck3.lus  {}
PASS: ./lus2lic  {-2c ck4.lus -n ck4}
PASS: sh ck4.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ck4.lus  {}
PASS: ./lus2lic  {-2c ck5.lus -n ck5}
PASS: sh ck5.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ck5.lus  {}
PASS: ./lus2lic  {-2c ck7.lus -n ck7}
PASS: sh ck7.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ck7.lus  {}
PASS: ./lus2lic  {-2c clock1_2ms.lus -n clock1_2ms}
PASS: sh clock1_2ms.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c clock1_2ms.lus  {}
PASS: ./lus2lic  {-2c clock_ite.lus -n clock_ite}
PASS: sh clock_ite.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c clock_ite.lus  {}
PASS: ./lus2lic  {-2c cminus.lus -n cminus}
PASS: sh cminus.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c cminus.lus  {}
PASS: ./lus2lic  {-2c complex.lus -n complex}
PASS: ./lus2lic  {-2c compteur.lus -n compteur}
PASS: sh compteur.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c compteur.lus  {}
FAIL: Generate c code  : ./lus2lic  {-2c cond01.lus -n cond01}
PASS: ./lus2lic  {-2c consensus.lus -n consensus}
PASS: sh consensus.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c consensus.lus  {}
PASS: ./lus2lic  {-2c consensus2.lus -n consensus2}
PASS: sh consensus2.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c consensus2.lus  {}
PASS: ./lus2lic  {-2c contractForElementSelectionInArray.lus -n contractForElementSelectionInArray}
PASS: sh contractForElementSelectionInArray.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c contractForElementSelectionInArray.lus  {}
PASS: ./lus2lic  {-2c convert.lus -n convert}
PASS: sh convert.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c convert.lus  {}
PASS: ./lus2lic  {-2c count.lus -n count}
PASS: sh count.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c count.lus  {}
PASS: ./lus2lic  {-2c cpt.lus -n cpt}
PASS: sh cpt.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c cpt.lus  {}
PASS: ./lus2lic  {-2c cst.lus -n cst}
PASS: sh cst.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c cst.lus  {}
PASS: ./lus2lic  {-2c deSimone.lus -n deSimone}
PASS: sh deSimone.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c deSimone.lus  {}
PASS: ./lus2lic  {-2c decl.lus -n decl}
PASS: ./lus2lic  {-2c declaration.lus -n declaration}
PASS: ./lus2lic  {-2c deconne.lus -n deconne}
PASS: ./lus2lic  {-2c dep.lus -n dep}
PASS: sh dep.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c dep.lus  {}
PASS: ./lus2lic  {-2c depend.lus -n depend}
PASS: sh depend.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c depend.lus  {}
PASS: ./lus2lic  {-2c dependeur.lus -n dependeur}
PASS: sh dependeur.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c dependeur.lus  {}
PASS: ./lus2lic  {-2c dependeur_struct.lus -n dependeur_struct}
PASS: sh dependeur_struct.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c dependeur_struct.lus  {}
PASS: ./lus2lic  {-2c double_delay.lus -n double_delay}
PASS: sh double_delay.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c double_delay.lus  {}
PASS: ./lus2lic  {-2c ec.lus -n ec}
PASS: sh ec.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ec.lus  {}
PASS: ./lus2lic  {-2c enum0.lus -n enum0}
PASS: sh enum0.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c enum0.lus  {}
PASS: ./lus2lic  {-2c ex.lus -n ex}
PASS: sh ex.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ex.lus  {}
PASS: ./lus2lic  {-2c exclusion.lus -n exclusion}
PASS: sh exclusion.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c exclusion.lus  {}
PASS: ./lus2lic  {-2c filliter.lus -n filliter}
PASS: sh filliter.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c filliter.lus  {}
PASS: ./lus2lic  {-2c filter.lus -n filter}
PASS: sh filter.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c filter.lus  {}
PASS: ./lus2lic  {-2c flo.lus -n flo}
PASS: sh flo.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c flo.lus  {}
PASS: ./lus2lic  {-2c followed_by.lus -n followed_by}
PASS: sh followed_by.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c followed_by.lus  {}
PASS: ./lus2lic  {-2c fresh_name.lus -n fresh_name}
PASS: sh fresh_name.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c fresh_name.lus  {}
PASS: ./lus2lic  {-2c func_with_body.lus -n func_with_body}
PASS: ./lus2lic  {-2c hanane.lus -n hanane}
PASS: sh hanane.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c hanane.lus  {}
PASS: ./lus2lic  {-2c heater_control.lus -n heater_control}
PASS: sh heater_control.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c heater_control.lus  {}
PASS: ./lus2lic  {-2c impl_priority.lus -n impl_priority}
PASS: sh impl_priority.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c impl_priority.lus  {}
PASS: ./lus2lic  {-2c import1.lus -n import1}
PASS: ./lus2lic  {-2c initial.lus -n initial}
PASS: sh initial.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c initial.lus  {}
PASS: ./lus2lic  {-2c integrator.lus -n integrator}
PASS: sh integrator.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c integrator.lus  {}
PASS: ./lus2lic  {-2c is_stable.lus -n is_stable}
PASS: sh is_stable.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c is_stable.lus  {}
PASS: ./lus2lic  {-2c iter.lus -n iter}
PASS: sh iter.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c iter.lus  {}
PASS: ./lus2lic  {-2c iterFibo.lus -n iterFibo}
PASS: sh iterFibo.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c iterFibo.lus  {}
PASS: ./lus2lic  {-2c iterate.lus -n iterate}
PASS: sh iterate.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c iterate.lus  {}
PASS: ./lus2lic  {-2c long_et_stupide_nom_de_noeud.lus -n long_et_stupide_nom_de_noeud}
PASS: sh long_et_stupide_nom_de_noeud.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c long_et_stupide_nom_de_noeud.lus  {}
PASS: ./lus2lic  {-2c lucky.lus -n lucky}
PASS: sh lucky.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c lucky.lus  {}
PASS: ./lus2lic  {-2c lustre_test1_ok.lus -n lustre_test1_ok}
PASS: sh lustre_test1_ok.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c lustre_test1_ok.lus  {}
PASS: ./lus2lic  {-2c map_red_iter.lus -n map_red_iter}
PASS: sh map_red_iter.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c map_red_iter.lus  {}
PASS: ./lus2lic  {-2c mapdeRed.lus -n mapdeRed}
PASS: sh mapdeRed.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mapdeRed.lus  {}
PASS: ./lus2lic  {-2c mapinf.lus -n mapinf}
PASS: sh mapinf.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mapinf.lus  {}
PASS: ./lus2lic  {-2c mapiter.lus -n mapiter}
PASS: sh mapiter.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mapiter.lus  {}
PASS: ./lus2lic  {-2c mappredef.lus -n mappredef}
PASS: sh mappredef.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mappredef.lus  {}
PASS: ./lus2lic  {-2c matrice.lus -n matrice}
PASS: sh matrice.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c matrice.lus  {}
PASS: ./lus2lic  {-2c matrice2.lus -n matrice2}
PASS: sh matrice2.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c matrice2.lus  {}
PASS: ./lus2lic  {-2c minmax1.lus -n minmax1}
PASS: sh minmax1.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax1.lus  {}
PASS: ./lus2lic  {-2c minmax2.lus -n minmax2}
PASS: sh minmax2.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax2.lus  {}
PASS: ./lus2lic  {-2c minmax3.lus -n minmax3}
PASS: sh minmax3.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax3.lus  {}
PASS: ./lus2lic  {-2c minmax4.lus -n minmax4}
PASS: sh minmax4.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax4.lus  {}
PASS: ./lus2lic  {-2c minmax4_bis.lus -n minmax4_bis}
PASS: sh minmax4_bis.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax4_bis.lus  {}
PASS: ./lus2lic  {-2c minmax5.lus -n minmax5}
PASS: ./lus2lic  {-2c minmax5_random.lus -n minmax5_random}
PASS: ./lus2lic  {-2c minmax6.lus -n minmax6}
PASS: sh minmax6.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minmax6.lus  {}
PASS: ./lus2lic  {-2c minus.lus -n minus}
PASS: sh minus.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c minus.lus  {}
PASS: ./lus2lic  {-2c mm.lus -n mm}
PASS: sh mm.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mm.lus  {}
PASS: ./lus2lic  {-2c mm1.lus -n mm1}
PASS: sh mm1.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mm1.lus  {}
PASS: ./lus2lic  {-2c mm22.lus -n mm22}
PASS: sh mm22.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mm22.lus  {}
PASS: ./lus2lic  {-2c mm3.lus -n mm3}
PASS: sh mm3.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mm3.lus  {}
PASS: ./lus2lic  {-2c modelInst.lus -n modelInst}
PASS: ./lus2lic  {-2c modes3x2_v2.lus -n modes3x2_v2}
PASS: sh modes3x2_v2.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c modes3x2_v2.lus  {}
PASS: ./lus2lic  {-2c modes3x2_v3.lus -n modes3x2_v3}
PASS: sh modes3x2_v3.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c modes3x2_v3.lus  {}
PASS: ./lus2lic  {-2c modes3x2_v4.lus -n modes3x2_v4}
PASS: ./lus2lic  {-2c mouse.lus -n mouse}
PASS: sh mouse.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mouse.lus  {}
PASS: ./lus2lic  {-2c mouse1.lus -n mouse1}
PASS: sh mouse1.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mouse1.lus  {}
PASS: ./lus2lic  {-2c mouse2.lus -n mouse2}
PASS: sh mouse2.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mouse2.lus  {}
PASS: ./lus2lic  {-2c mouse3.lus -n mouse3}
PASS: sh mouse3.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c mouse3.lus  {}
PASS: ./lus2lic  {-2c moyenne.lus -n moyenne}
PASS: sh moyenne.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c moyenne.lus  {}
PASS: ./lus2lic  {-2c multiclock.lus -n multiclock}
PASS: sh multiclock.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c multiclock.lus  {}
PASS: ./lus2lic  {-2c multipar.lus -n multipar}
PASS: sh multipar.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c multipar.lus  {}

==> lus2lic2.sum <==
Test run by jahier on Mon Oct  8 15:16:37 
Native configuration is x86_64-pc-linux-gnu

		=== lus2lic2 tests ===

Schedule of variations:
    unix

Running target unix
Running ./lus2lic.tests/test2.exp ...
PASS: ./lus2lic  {-2c SOURIS.lus -n SOURIS}
PASS: sh SOURIS.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c SOURIS.lus  {}
PASS: ./lus2lic  {-2c STABLE.lus -n STABLE}
PASS: sh STABLE.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c STABLE.lus  {}
PASS: ./lus2lic  {-2c SWITCH.lus -n SWITCH}
PASS: sh SWITCH.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c SWITCH.lus  {}
PASS: ./lus2lic  {-2c SWITCH1.lus -n SWITCH1}
PASS: sh SWITCH1.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c SWITCH1.lus  {}
PASS: ./lus2lic  {-2c TIME_STABLE.lus -n TIME_STABLE}
PASS: sh TIME_STABLE.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c TIME_STABLE.lus  {}
PASS: ./lus2lic  {-2c TIME_STABLE1.lus -n TIME_STABLE1}
PASS: sh TIME_STABLE1.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c TIME_STABLE1.lus  {}
PASS: ./lus2lic  {-2c Watch.lus -n Watch}
PASS: ./lus2lic  {-2c X.lus -n X}
PASS: sh X.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c X.lus  {}
PASS: ./lus2lic  {-2c X2.lus -n X2}
PASS: sh X2.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c X2.lus  {}
PASS: ./lus2lic  {-2c Xr.lus -n Xr}
PASS: sh Xr.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c Xr.lus  {}
PASS: ./lus2lic  {-2c nc1.lus -n nc1}
PASS: sh nc1.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc1.lus  {}
PASS: ./lus2lic  {-2c nc10.lus -n nc10}
PASS: sh nc10.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc10.lus  {}
PASS: ./lus2lic  {-2c nc2.lus -n nc2}
PASS: sh nc2.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc2.lus  {}
PASS: ./lus2lic  {-2c nc3.lus -n nc3}
PASS: sh nc3.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc3.lus  {}
PASS: ./lus2lic  {-2c nc4.lus -n nc4}
PASS: sh nc4.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc4.lus  {}
PASS: ./lus2lic  {-2c nc5.lus -n nc5}
PASS: sh nc5.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc5.lus  {}
PASS: ./lus2lic  {-2c nc6.lus -n nc6}
PASS: sh nc6.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc6.lus  {}
PASS: ./lus2lic  {-2c nc7.lus -n nc7}
PASS: sh nc7.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc7.lus  {}
PASS: ./lus2lic  {-2c nc8.lus -n nc8}
PASS: sh nc8.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc8.lus  {}
PASS: ./lus2lic  {-2c nc9.lus -n nc9}
PASS: sh nc9.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nc9.lus  {}
PASS: ./lus2lic  {-2c nested.lus -n nested}
PASS: sh nested.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nested.lus  {}
PASS: ./lus2lic  {-2c newpacks.lus -n newpacks}
PASS: ./lus2lic  {-2c noAlarm.lus -n noAlarm}
PASS: sh noAlarm.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c noAlarm.lus  {}
PASS: ./lus2lic  {-2c node_caller1.lus -n node_caller1}
PASS: sh node_caller1.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c node_caller1.lus  {}
PASS: ./lus2lic  {-2c nodeparam.lus -n nodeparam}
PASS: sh nodeparam.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c nodeparam.lus  {}
PASS: ./lus2lic  {-2c noeudsIndependants.lus -n noeudsIndependants}
PASS: sh noeudsIndependants.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c noeudsIndependants.lus  {}
PASS: ./lus2lic  {-2c noinput.lus -n noinput}
PASS: sh noinput.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c noinput.lus  {}
PASS: ./lus2lic  {-2c normal.lus -n normal}
PASS: sh normal.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c normal.lus  {}
PASS: ./lus2lic  {-2c notTwo.lus -n notTwo}
PASS: sh notTwo.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c notTwo.lus  {}
PASS: ./lus2lic  {-2c o2l_feux_compl.lus -n o2l_feux_compl}
PASS: sh o2l_feux_compl.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c o2l_feux_compl.lus  {}
PASS: ./lus2lic  {-2c oneq.lus -n oneq}
PASS: sh oneq.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c oneq.lus  {}
PASS: ./lus2lic  {-2c onlyroll.lus -n onlyroll}
PASS: sh onlyroll.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c onlyroll.lus  {}
PASS: ./lus2lic  {-2c onlyroll2.lus -n onlyroll2}
PASS: sh onlyroll2.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c onlyroll2.lus  {}
PASS: ./lus2lic  {-2c over2.lus -n over2}
PASS: sh over2.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c over2.lus  {}
PASS: ./lus2lic  {-2c over3.lus -n over3}
PASS: sh over3.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c over3.lus  {}
PASS: ./lus2lic  {-2c overload.lus -n overload}
PASS: sh overload.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c overload.lus  {}
PASS: ./lus2lic  {-2c p.lus -n p}
PASS: ./lus2lic  {-2c pack1.lus -n pack1}
PASS: ./lus2lic  {-2c packageTableau.lus -n packageTableau}
PASS: ./lus2lic  {-2c packed_cst.lus -n packed_cst}
PASS: ./lus2lic  {-2c packs.lus -n packs}
PASS: ./lus2lic  {-2c param_node.lus -n param_node}
PASS: sh param_node.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c param_node.lus  {}
PASS: ./lus2lic  {-2c param_node2.lus -n param_node2}
PASS: sh param_node2.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c param_node2.lus  {}
PASS: ./lus2lic  {-2c param_node3.lus -n param_node3}
PASS: sh param_node3.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c param_node3.lus  {}
PASS: ./lus2lic  {-2c param_node4.lus -n param_node4}
PASS: sh param_node4.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c param_node4.lus  {}
PASS: ./lus2lic  {-2c param_struct.lus -n param_struct}
PASS: sh param_struct.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c param_struct.lus  {}
FAIL: Generate c code  : ./lus2lic  --expand-nodes {-2c pilote.lus -n pilote}
PASS: ./lus2lic  {-2c pipeline.lus -n pipeline}
PASS: sh pipeline.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c pipeline.lus  {}
PASS: ./lus2lic  {-2c plus.lus -n plus}
PASS: sh plus.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c plus.lus  {}
PASS: ./lus2lic  {-2c ply01.lus -n ply01}
PASS: sh ply01.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ply01.lus  {}
PASS: ./lus2lic  {-2c ply02.lus -n ply02}
PASS: sh ply02.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ply02.lus  {}
PASS: ./lus2lic  {-2c ply03.lus -n ply03}
PASS: sh ply03.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ply03.lus  {}
PASS: ./lus2lic  {-2c polymorphic_pack.lus -n polymorphic_pack}
PASS: ./lus2lic  {-2c poussoir.lus -n poussoir}
PASS: sh poussoir.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c poussoir.lus  {}
PASS: ./lus2lic  {-2c pplus.lus -n pplus}
PASS: sh pplus.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c pplus.lus  {}
PASS: ./lus2lic  {-2c pre_x.lus -n pre_x}
PASS: sh pre_x.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c pre_x.lus  {}
PASS: ./lus2lic  {-2c predef01.lus -n predef01}
PASS: sh predef01.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c predef01.lus  {}
PASS: ./lus2lic  {-2c predef02.lus -n predef02}
PASS: sh predef02.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c predef02.lus  {}
PASS: ./lus2lic  {-2c predef03.lus -n predef03}
PASS: sh predef03.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c predef03.lus  {}
PASS: ./lus2lic  {-2c predefOp.lus -n predefOp}
PASS: sh predefOp.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c predefOp.lus  {}
PASS: ./lus2lic  {-2c produitBool.lus -n produitBool}
PASS: sh produitBool.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c produitBool.lus  {}
PASS: ./lus2lic  {-2c real_ex.lus -n real_ex}
PASS: sh real_ex.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c real_ex.lus  {}
PASS: ./lus2lic  {-2c redIf.lus -n redIf}
PASS: sh redIf.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c redIf.lus  {}
PASS: ./lus2lic  {-2c rediter.lus -n rediter}
PASS: sh rediter.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c rediter.lus  {}
PASS: ./lus2lic  {-2c redoptest.lus -n redoptest}
PASS: sh redoptest.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c redoptest.lus  {}
PASS: ./lus2lic  {-2c remplissage.lus -n remplissage}
PASS: ./lus2lic  {-2c rs.lus -n rs}
PASS: sh rs.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c rs.lus  {}
PASS: ./lus2lic  {-2c sample_time_change.lus -n sample_time_change}
PASS: sh sample_time_change.sh 
FAIL: Try to compare lus2lic -exec and -2c: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c sample_time_change.lus  {}
PASS: ./lus2lic  {-2c sample_time_change_MainNode.lus -n sample_time_change_MainNode}
PASS: sh sample_time_change_MainNode.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c sample_time_change_MainNode.lus  {}
PASS: ./lus2lic  {-2c shiftFill_ludic.lus -n shiftFill_ludic}
PASS: sh shiftFill_ludic.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c shiftFill_ludic.lus  {}
PASS: ./lus2lic  {-2c shift_ludic.lus -n shift_ludic}
PASS: sh shift_ludic.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c shift_ludic.lus  {}
PASS: ./lus2lic  {-2c simple.lus -n simple}
PASS: ./lus2lic  {-2c simpleRed.lus -n simpleRed}
PASS: sh simpleRed.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c simpleRed.lus  {}
PASS: ./lus2lic  {-2c sincos.lus -n sincos}
PASS: sh sincos.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c sincos.lus  {}
PASS: ./lus2lic  --expand-nodes {-2c speedcontrol.lus -n speedcontrol}
PASS: sh speedcontrol.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c speedcontrol.lus  { --expand-nodes}
PASS: ./lus2lic  {-2c sqrt.lus -n sqrt}
PASS: ./lus2lic  {-2c stopwatch.lus -n stopwatch}
PASS: sh stopwatch.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c stopwatch.lus  {}
PASS: ./lus2lic  {-2c struct0.lus -n struct0}
PASS: sh struct0.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c struct0.lus  {}
PASS: ./lus2lic  {-2c struct_equality.lus -n struct_equality}
PASS: sh struct_equality.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c struct_equality.lus  {}
PASS: ./lus2lic  {-2c struct_with.lus -n struct_with}
PASS: sh struct_with.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c struct_with.lus  {}
PASS: ./lus2lic  {-2c t0.lus -n t0}
PASS: ./lus2lic  {-2c t1.lus -n t1}
PASS: sh t1.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c t1.lus  {}
PASS: ./lus2lic  {-2c t2.lus -n t2}
PASS: sh t2.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c t2.lus  {}
PASS: ./lus2lic  {-2c test.lus -n test}
PASS: sh test.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test.lus  {}
PASS: ./lus2lic  {-2c testBoite.lus -n testBoite}
PASS: ./lus2lic  {-2c testCA.lus -n testCA}
PASS: sh testCA.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c testCA.lus  {}
PASS: ./lus2lic  {-2c testCapt.lus -n testCapt}
PASS: ./lus2lic  {-2c testPilote.lus -n testPilote}
PASS: ./lus2lic  {-2c test_Int.lus -n test_Int}
PASS: ./lus2lic  {-2c test_arrow.lus -n test_arrow}
PASS: sh test_arrow.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_arrow.lus  {}
PASS: ./lus2lic  {-2c test_boolred.lus -n test_boolred}
PASS: sh test_boolred.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_boolred.lus  {}
PASS: ./lus2lic  {-2c test_clash.lus -n test_clash}
PASS: ./lus2lic  {-2c test_condact.lus -n test_condact}
PASS: sh test_condact.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_condact.lus  {}
PASS: ./lus2lic  {-2c test_const.lus -n test_const}
PASS: sh test_const.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_const.lus  {}
PASS: ./lus2lic  {-2c test_diese.lus -n test_diese}
PASS: sh test_diese.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_diese.lus  {}
PASS: ./lus2lic  {-2c test_enum.lus -n test_enum}
PASS: sh test_enum.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_enum.lus  {}
PASS: ./lus2lic  {-2c test_extern.lus -n test_extern}
PASS: ./lus2lic  {-2c test_lustre.lus -n test_lustre}
PASS: ./lus2lic  {-2c test_map.lus -n test_map}
PASS: sh test_map.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_map.lus  {}
PASS: ./lus2lic  {-2c test_merge.lus -n test_merge}
PASS: sh test_merge.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_merge.lus  {}
PASS: ./lus2lic  {-2c test_model.lus -n test_model}
PASS: ./lus2lic  {-2c test_node_expand.lus -n test_node_expand}
PASS: sh test_node_expand.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_node_expand.lus  {}
PASS: ./lus2lic  {-2c test_node_expand2.lus -n test_node_expand2}
PASS: sh test_node_expand2.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_node_expand2.lus  {}
PASS: ./lus2lic  {-2c test_poly.lus -n test_poly}
PASS: sh test_poly.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_poly.lus  {}
PASS: ./lus2lic  {-2c test_struct.lus -n test_struct}
PASS: sh test_struct.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c test_struct.lus  {}
PASS: ./lus2lic  {-2c titi.lus -n titi}
PASS: sh titi.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c titi.lus  {}
PASS: ./lus2lic  {-2c toolate.lus -n toolate}
PASS: sh toolate.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c toolate.lus  {}
PASS: ./lus2lic  {-2c toto.lus -n toto}
PASS: sh toto.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c toto.lus  {}
PASS: ./lus2lic  {-2c tri.lus -n tri}
PASS: sh tri.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c tri.lus  {}
PASS: ./lus2lic  {-2c triSel.lus -n triSel}
PASS: sh triSel.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c triSel.lus  {}
PASS: ./lus2lic  {-2c trivial.lus -n trivial}
PASS: sh trivial.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c trivial.lus  {}
PASS: ./lus2lic  {-2c trivial2.lus -n trivial2}
PASS: sh trivial2.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c trivial2.lus  {}
PASS: ./lus2lic  {-2c trivial_array.lus -n trivial_array}
PASS: sh trivial_array.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c trivial_array.lus  {}
PASS: ./lus2lic  {-2c ts01.lus -n ts01}
PASS: sh ts01.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ts01.lus  {}
PASS: ./lus2lic  {-2c ts04.lus -n ts04}
PASS: sh ts04.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c ts04.lus  {}
PASS: ./lus2lic  {-2c tuple.lus -n tuple}
PASS: sh tuple.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c tuple.lus  {}
PASS: ./lus2lic  {-2c type_decl.lus -n type_decl}
PASS: sh type_decl.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c type_decl.lus  {}
PASS: ./lus2lic  {-2c uu.lus -n uu}
PASS: sh uu.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c uu.lus  {}
PASS: ./lus2lic  {-2c v1.lus -n v1}
PASS: sh v1.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c v1.lus  {}
PASS: ./lus2lic  {-2c when_tuple.lus -n when_tuple}
PASS: ./lus2lic  {-2c xx.lus -n xx}
PASS: sh xx.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c xx.lus  {}
PASS: ./lus2lic  {-2c yyy.lus -n yyy}
PASS: sh yyy.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c yyy.lus  {}
PASS: ./lus2lic  {-2c zzz.lus -n zzz}
PASS: sh zzz.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c zzz.lus  {}
PASS: ./lus2lic  {-2c zzz2.lus -n zzz2}
PASS: sh zzz2.sh 
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c zzz2.lus  {}

==> lus2lic3.sum <==
Test run by jahier on Mon Oct  8 15:17:13 
Native configuration is x86_64-pc-linux-gnu

		=== lus2lic3 tests ===

Schedule of variations:
    unix

Running target unix
Running ./lus2lic.tests/test3.exp ...
PASS: ./lus2lic {} {-lic -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 {} {-lic -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 {} {-lic -o Condact.lic Condact.lus}
PASS: ./lus2lic {-ec -o Condact.ec Condact.lus}
PASS: ./myec2c {-o Condact.c Condact.ec}
PASS: ./lus2lic {} {-lic -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 {} {-lic -o ELMU.lic ELMU.lus}
PASS: ./lus2lic {-ec -o ELMU.ec ELMU.lus}
PASS: ./myec2c {-o ELMU.c ELMU.ec}
PASS: ./lus2lic {} {-lic -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 {} {-lic -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 {} {-lic -o Gyroscope.lic Gyroscope.lus}
PASS: ./lus2lic {-ec -o Gyroscope.ec Gyroscope.lus}
PASS: ./myec2c {-o Gyroscope.c Gyroscope.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node Gyroscope.lus {}
PASS: ./lus2lic {} {-lic -o Gyroscope2.lic Gyroscope2.lus}
PASS: ./lus2lic {-ec -o Gyroscope2.ec Gyroscope2.lus}
PASS: ./myec2c {-o Gyroscope2.c Gyroscope2.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node Gyroscope2.lus {}
PASS: ./lus2lic {} {-lic -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 {} {-lic -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 { --expand-nodes} {-lic -o activation1.lic activation1.lus}
PASS: ./lus2lic {-ec -o activation1.ec activation1.lus}
PASS: ./myec2c {-o activation1.c activation1.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node activation1.lus { --expand-nodes}
PASS: ./lus2lic { --expand-nodes} {-lic -o activation2.lic activation2.lus}
PASS: ./lus2lic {-ec -o activation2.ec activation2.lus}
PASS: ./myec2c {-o activation2.c activation2.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node activation2.lus { --expand-nodes}
PASS: ./lus2lic {} {-lic -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 {} {-lic -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 {} {-lic -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 {} {-lic -o amaury.lic amaury.lus}
PASS: ./lus2lic {-ec -o amaury.ec amaury.lus}
PASS: ./myec2c {-o amaury.c amaury.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node amaury.lus {}
PASS: ./lus2lic {} {-lic -o arbitre.lic arbitre.lus}
PASS: ./lus2lic {-ec -o arbitre.ec arbitre.lus}
PASS: ./myec2c {-o arbitre.c arbitre.ec}
PASS: ./lus2lic {} {-lic -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 {} {-lic -o array_concat.lic array_concat.lus}
PASS: ./lus2lic {-ec -o array_concat.ec array_concat.lus}
PASS: ./myec2c {-o array_concat.c array_concat.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node array_concat.lus {}
PASS: ./lus2lic {} {-lic -o array_concat2.lic array_concat2.lus}
PASS: ./lus2lic {-ec -o array_concat2.ec array_concat2.lus}
PASS: ./myec2c {-o array_concat2.c array_concat2.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node array_concat2.lus {}
PASS: ./lus2lic {} {-lic -o array_equals.lic array_equals.lus}
PASS: ./lus2lic {-ec -o array_equals.ec array_equals.lus}
PASS: ./myec2c {-o array_equals.c array_equals.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node array_equals.lus {}
PASS: ./lus2lic {} {-lic -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 { --expand-nodes} {-lic -o asservi.lic asservi.lus}
PASS: ./lus2lic {-ec -o asservi.ec asservi.lus}
PASS: ./myec2c {-o asservi.c asservi.ec}
PASS: ./lus2lic {} {-lic -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 {}
PASS: ./lus2lic {} {-lic -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 {} {-lic -o bob.lic bob.lus}
PASS: ./lus2lic {-ec -o bob.ec bob.lus}
PASS: ./myec2c {-o bob.c bob.ec}
UNRESOLVED: Time out: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node bob.lus {}
PASS: ./lus2lic {} {-lic -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 {} {-lic -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 {} {-lic -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 {} {-lic -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 {}
FAIL: without any option: ./lus2lic {} {-lic -o bug_map_fby.lic bug_map_fby.lus}
PASS: ./lus2lic {} {-lic -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 {} {-lic -o call.lic call.lus}
PASS: ./lus2lic {-ec -o call.ec call.lus}
PASS: ./myec2c {-o call.c call.ec}
PASS: ./lus2lic {} {-lic -o call01.lic call01.lus}
PASS: ./lus2lic {-ec -o call01.ec call01.lus}
PASS: ./myec2c {-o call01.c call01.ec}
PASS: ./lus2lic {} {-lic -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 {} {-lic -o call03.lic call03.lus}
PASS: ./lus2lic {-ec -o call03.ec call03.lus}
PASS: ./myec2c {-o call03.c call03.ec}
PASS: ./lus2lic {} {-lic -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 {} {-lic -o call05.lic call05.lus}
PASS: ./lus2lic {-ec -o call05.ec call05.lus}
PASS: ./myec2c {-o call05.c call05.ec}
PASS: ./lus2lic {} {-lic -o call06.lic call06.lus}
PASS: ./lus2lic {-ec -o call06.ec call06.lus}
PASS: ./myec2c {-o call06.c call06.ec}
PASS: ./lus2lic {} {-lic -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 {} {-lic -o carV2.lic carV2.lus}
PASS: ./lus2lic {-ec -o carV2.ec carV2.lus}
PASS: ./myec2c {-o carV2.c carV2.ec}
PASS: ./lus2lic {} {-lic -o carligths.lic carligths.lus}
PASS: ./lus2lic {-ec -o carligths.ec carligths.lus}
PASS: ./myec2c {-o carligths.c carligths.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node carligths.lus {}
PASS: ./lus2lic {} {-lic -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 {} {-lic -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 {} {-lic -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 {} {-lic -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 {}
FAIL: without any option: ./lus2lic {} {-lic -o ck6.lic ck6.lus}
PASS: ./lus2lic {} {-lic -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 {} {-lic -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 {} {-lic -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 {} {-lic -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 {} {-lic -o complex.lic complex.lus}
PASS: ./lus2lic {-ec -o complex.ec complex.lus}
PASS: ./myec2c {-o complex.c complex.ec}
PASS: ./lus2lic {} {-lic -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 {} {-lic -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 {} {-lic -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 {} {-lic -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 {} {-lic -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 {} {-lic -o convert.lic convert.lus}
PASS: ./lus2lic {-ec -o convert.ec convert.lus}
PASS: ./myec2c {-o convert.c convert.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node convert.lus {}
PASS: ./lus2lic {} {-lic -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 {} {-lic -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 {} {-lic -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 { dadic.lv6} {-lic -o dadic_x5_a.lic dadic_x5_a.lus}
PASS: ./lus2lic { dadic.lv6} {-lic -o dadic_x5_b.lic dadic_x5_b.lus}
FAIL: without any option: ./lus2lic {} {-lic -o dadic_x5_c.lic dadic_x5_c.lus}
PASS: ./lus2lic {} {-lic -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 {} {-lic -o decl.lic decl.lus}