Test Run By jahier on Fri Jul 10 14:33:03 2015 Native configuration is x86_64-unknown-linux-gnu === lus2lic-kcg tests === Schedule of variations: unix Running target unix Running ./lus2lic.tests/kcg.exp ... PASS: ./lus2lic {-kcg -o COUNTER_scade.lus COUNTER.lus -n COUNTER} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c COUNTER_scade.lus -node COUNTER PASS: ./lus2lic {-kcg -o CURRENT_scade.lus CURRENT.lus -n CURRENT} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c CURRENT_scade.lus -node CURRENT PASS: ./lus2lic {-kcg -o Condact_scade.lus Condact.lus -n Condact} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c Condact_scade.lus -node Condact PASS: ./lus2lic {-kcg -o EDGE_scade.lus EDGE.lus -n EDGE} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c EDGE_scade.lus -node EDGE PASS: ./lus2lic {-kcg -o ELMU_scade.lus ELMU.lus -n ELMU} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c ELMU_scade.lus -node ELMU PASS: ./lus2lic {-kcg -o FALLING_EDGE_scade.lus FALLING_EDGE.lus -n FALLING_EDGE} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c FALLING_EDGE_scade.lus -node FALLING_EDGE PASS: ./lus2lic {-kcg -o FillFollowedByRed_scade.lus FillFollowedByRed.lus -n FillFollowedByRed} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c FillFollowedByRed_scade.lus -node FillFollowedByRed PASS: ./lus2lic {-kcg -o Gyroscope_scade.lus Gyroscope.lus -n Gyroscope} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c Gyroscope_scade.lus -node Gyroscope PASS: ./lus2lic {-kcg -o Gyroscope2_scade.lus Gyroscope2.lus -n Gyroscope2} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c Gyroscope2_scade.lus -node Gyroscope2 PASS: ./lus2lic {-kcg -o PCOND_scade.lus PCOND.lus -n PCOND} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c PCOND_scade.lus -node PCOND PASS: ./lus2lic {-kcg -o PCOND1_scade.lus PCOND1.lus -n PCOND1} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c PCOND1_scade.lus -node PCOND1 PASS: ./lus2lic {-kcg -o SOURIS_scade.lus SOURIS.lus -n SOURIS} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c SOURIS_scade.lus -node SOURIS PASS: ./lus2lic {-kcg -o STABLE_scade.lus STABLE.lus -n STABLE} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c STABLE_scade.lus -node STABLE PASS: ./lus2lic {-kcg -o SWITCH_scade.lus SWITCH.lus -n SWITCH} PASS: ./lus2lic {-kcg -o SWITCH1_scade.lus SWITCH1.lus -n SWITCH1} PASS: ./lus2lic {-kcg -o TIME_STABLE_scade.lus TIME_STABLE.lus -n TIME_STABLE} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c TIME_STABLE_scade.lus -node TIME_STABLE PASS: ./lus2lic {-kcg -o TIME_STABLE1_scade.lus TIME_STABLE1.lus -n TIME_STABLE1} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c TIME_STABLE1_scade.lus -node TIME_STABLE1 PASS: ./lus2lic {-kcg -o Watch_scade.lus Watch.lus -n Watch} PASS: ./lus2lic {-kcg -o X_scade.lus X.lus -n X} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c X_scade.lus -node X PASS: ./lus2lic {-kcg -o X2_scade.lus X2.lus -n X2} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c X2_scade.lus -node X2 PASS: ./lus2lic {-kcg -o X6_scade.lus X6.lus -n X6} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c X6_scade.lus -node X6 FAIL: Test -kcg : ./lus2lic {-kcg -o _redIf_oracle_scade.lus _redIf_oracle.lus -n _redIf_oracle} PASS: ./lus2lic {-kcg -o aa_scade.lus aa.lus -n aa} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c aa_scade.lus -node aa PASS: ./lus2lic {-kcg -o access_scade.lus access.lus -n access} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c access_scade.lus -node access PASS: ./lus2lic --expand-nodes {-kcg -o activation1_scade.lus activation1.lus -n activation1} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c activation1_scade.lus -node activation1 PASS: ./lus2lic --expand-nodes {-kcg -o activation2_scade.lus activation2.lus -n activation2} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c activation2_scade.lus -node activation2 PASS: ./lus2lic {-kcg -o activation_ec_scade.lus activation_ec.lus -n activation_ec} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c activation_ec_scade.lus -node activation_ec PASS: ./lus2lic {-kcg -o after_scade.lus after.lus -n after} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c after_scade.lus -node after PASS: ./lus2lic {-kcg -o alias_scade.lus alias.lus -n alias} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c alias_scade.lus -node alias FAIL: Test -kcg : ./lus2lic {-kcg -o amaury_scade.lus amaury.lus -n amaury} PASS: ./lus2lic {-kcg -o arbitre_scade.lus arbitre.lus -n arbitre} PASS: ./lus2lic {-kcg -o argos_scade.lus argos.lus -n argos} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c argos_scade.lus -node argos PASS: ./lus2lic {-kcg -o array_concat_scade.lus array_concat.lus -n array_concat} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c array_concat_scade.lus -node array_concat PASS: ./lus2lic {-kcg -o array_concat2_scade.lus array_concat2.lus -n array_concat2} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c array_concat2_scade.lus -node array_concat2 PASS: ./lus2lic {-kcg -o arrays_scade.lus arrays.lus -n arrays} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c arrays_scade.lus -node arrays PASS: ./lus2lic --expand-nodes {-kcg -o asservi_scade.lus asservi.lus -n asservi} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c asservi_scade.lus -node asservi PASS: ./lus2lic {-kcg -o bad_call03_scade.lus bad_call03.lus -n bad_call03} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c bad_call03_scade.lus -node bad_call03 PASS: ./lus2lic {-kcg -o bascule_scade.lus bascule.lus -n bascule} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c bascule_scade.lus -node bascule PASS: ./lus2lic {-kcg -o bob_scade.lus bob.lus -n bob} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c bob_scade.lus -node bob PASS: ./lus2lic {-kcg -o bred_scade.lus bred.lus -n bred} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c bred_scade.lus -node bred PASS: ./lus2lic {-kcg -o bred_lv4_scade.lus bred_lv4.lus -n bred_lv4} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c bred_lv4_scade.lus -node bred_lv4 PASS: ./lus2lic {-kcg -o bug_scade.lus bug.lus -n bug} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c bug_scade.lus -node bug PASS: ./lus2lic {-kcg -o bug2_scade.lus bug2.lus -n bug2} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c bug2_scade.lus -node bug2 FAIL: Test -kcg : ./lus2lic {-kcg -o bug_map_fby_scade.lus bug_map_fby.lus -n bug_map_fby} PASS: ./lus2lic {-kcg -o calculs_max_scade.lus calculs_max.lus -n calculs_max} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c calculs_max_scade.lus -node calculs_max PASS: ./lus2lic {-kcg -o call_scade.lus call.lus -n call} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c call_scade.lus -node call PASS: ./lus2lic {-kcg -o call01_scade.lus call01.lus -n call01} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c call01_scade.lus -node call01 PASS: ./lus2lic {-kcg -o call02_scade.lus call02.lus -n call02} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c call02_scade.lus -node call02 PASS: ./lus2lic {-kcg -o call03_scade.lus call03.lus -n call03} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c call03_scade.lus -node call03 PASS: ./lus2lic {-kcg -o call04_scade.lus call04.lus -n call04} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c call04_scade.lus -node call04 PASS: ./lus2lic {-kcg -o call05_scade.lus call05.lus -n call05} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c call05_scade.lus -node call05 PASS: ./lus2lic {-kcg -o call06_scade.lus call06.lus -n call06} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c call06_scade.lus -node call06 PASS: ./lus2lic {-kcg -o call07_scade.lus call07.lus -n call07} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c call07_scade.lus -node call07 PASS: ./lus2lic {-kcg -o carV2_scade.lus carV2.lus -n carV2} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c carV2_scade.lus -node carV2 FAIL: Test -kcg : ./lus2lic {-kcg -o carligths_scade.lus carligths.lus -n carligths} PASS: ./lus2lic {-kcg -o ck2_scade.lus ck2.lus -n ck2} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c ck2_scade.lus -node ck2 PASS: ./lus2lic {-kcg -o ck3_scade.lus ck3.lus -n ck3} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c ck3_scade.lus -node ck3 PASS: ./lus2lic {-kcg -o ck4_scade.lus ck4.lus -n ck4} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c ck4_scade.lus -node ck4 PASS: ./lus2lic {-kcg -o ck5_scade.lus ck5.lus -n ck5} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c ck5_scade.lus -node ck5 PASS: ./lus2lic {-kcg -o ck6_scade.lus ck6.lus -n ck6} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c ck6_scade.lus -node ck6 PASS: ./lus2lic {-kcg -o ck7_scade.lus ck7.lus -n ck7} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c ck7_scade.lus -node ck7 PASS: ./lus2lic {-kcg -o clock1_2ms_scade.lus clock1_2ms.lus -n clock1_2ms} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c clock1_2ms_scade.lus -node clock1_2ms PASS: ./lus2lic {-kcg -o clock_ite_scade.lus clock_ite.lus -n clock_ite} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c clock_ite_scade.lus -node clock_ite PASS: ./lus2lic {-kcg -o cminus_scade.lus cminus.lus -n cminus} PASS: ./lus2lic {-kcg -o complex_scade.lus complex.lus -n complex} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c complex_scade.lus -node complex PASS: ./lus2lic {-kcg -o compteur_scade.lus compteur.lus -n compteur} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c compteur_scade.lus -node compteur PASS: ./lus2lic {-kcg -o cond01_scade.lus cond01.lus -n cond01} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c cond01_scade.lus -node cond01 PASS: ./lus2lic {-kcg -o consensus_scade.lus consensus.lus -n consensus} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c consensus_scade.lus -node consensus PASS: ./lus2lic {-kcg -o consensus2_scade.lus consensus2.lus -n consensus2} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c consensus2_scade.lus -node consensus2 PASS: ./lus2lic {-kcg -o contractForElementSelectionInArray_scade.lus contractForElementSelectionInArray.lus -n contractForElementSelectionInArray} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c contractForElementSelectionInArray_scade.lus -node contractForElementSelectionInArray PASS: ./lus2lic {-kcg -o count_scade.lus count.lus -n count} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c count_scade.lus -node count PASS: ./lus2lic {-kcg -o cpt_scade.lus cpt.lus -n cpt} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c cpt_scade.lus -node cpt PASS: ./lus2lic {-kcg -o cst_scade.lus cst.lus -n cst} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c cst_scade.lus -node cst PASS: ./lus2lic dadic.lv6 {-kcg -o dadic_x5_a_scade.lus dadic_x5_a.lus -n dadic_x5_a} PASS: ./lus2lic dadic.lv6 {-kcg -o dadic_x5_b_scade.lus dadic_x5_b.lus -n dadic_x5_b} FAIL: Test -kcg : ./lus2lic {-kcg -o dadic_x5_c_scade.lus dadic_x5_c.lus -n dadic_x5_c} PASS: ./lus2lic {-kcg -o deSimone_scade.lus deSimone.lus -n deSimone} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c deSimone_scade.lus -node deSimone PASS: ./lus2lic {-kcg -o decl_scade.lus decl.lus -n decl} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c decl_scade.lus -node decl PASS: ./lus2lic {-kcg -o declaration_scade.lus declaration.lus -n declaration} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c declaration_scade.lus -node declaration PASS: ./lus2lic {-kcg -o deconne_scade.lus deconne.lus -n deconne} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c deconne_scade.lus -node deconne PASS: ./lus2lic {-kcg -o dep_scade.lus dep.lus -n dep} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c dep_scade.lus -node dep PASS: ./lus2lic {-kcg -o dependeur_scade.lus dependeur.lus -n dependeur} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c dependeur_scade.lus -node dependeur PASS: ./lus2lic {-kcg -o dependeur_struct_scade.lus dependeur_struct.lus -n dependeur_struct} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c dependeur_struct_scade.lus -node dependeur_struct PASS: ./lus2lic {-kcg -o double_delay_scade.lus double_delay.lus -n double_delay} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c double_delay_scade.lus -node double_delay PASS: ./lus2lic {-kcg -o ec_scade.lus ec.lus -n ec} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c ec_scade.lus -node ec PASS: ./lus2lic {-kcg -o enum0_scade.lus enum0.lus -n enum0} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c enum0_scade.lus -node enum0 PASS: ./lus2lic {-kcg -o ex_scade.lus ex.lus -n ex} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c ex_scade.lus -node ex PASS: ./lus2lic {-kcg -o exclusion_scade.lus exclusion.lus -n exclusion} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c exclusion_scade.lus -node exclusion PASS: ./lus2lic {-kcg -o filliter_scade.lus filliter.lus -n filliter} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c filliter_scade.lus -node filliter PASS: ./lus2lic {-kcg -o filter_scade.lus filter.lus -n filter} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c filter_scade.lus -node filter PASS: ./lus2lic {-kcg -o flo_scade.lus flo.lus -n flo} PASS: ./lus2lic {-kcg -o followed_by_scade.lus followed_by.lus -n followed_by} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c followed_by_scade.lus -node followed_by PASS: ./lus2lic {-kcg -o fresh_name_scade.lus fresh_name.lus -n fresh_name} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c fresh_name_scade.lus -node fresh_name PASS: ./lus2lic {-kcg -o func_with_body_scade.lus func_with_body.lus -n func_with_body} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c func_with_body_scade.lus -node func_with_body PASS: ./lus2lic {-kcg -o hanane_scade.lus hanane.lus -n hanane} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c hanane_scade.lus -node hanane PASS: ./lus2lic {-kcg -o heater_control_scade.lus heater_control.lus -n heater_control} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c heater_control_scade.lus -node heater_control PASS: ./lus2lic {-kcg -o impl_priority_scade.lus impl_priority.lus -n impl_priority} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c impl_priority_scade.lus -node impl_priority PASS: ./lus2lic {-kcg -o import1_scade.lus import1.lus -n import1} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c import1_scade.lus -node import1 PASS: ./lus2lic {-kcg -o initial_scade.lus initial.lus -n initial} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c initial_scade.lus -node initial PASS: ./lus2lic {-kcg -o integrator_scade.lus integrator.lus -n integrator} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c integrator_scade.lus -node integrator PASS: ./lus2lic {-kcg -o is_stable_scade.lus is_stable.lus -n is_stable} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c is_stable_scade.lus -node is_stable PASS: ./lus2lic {-kcg -o iter_scade.lus iter.lus -n iter} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c iter_scade.lus -node iter PASS: ./lus2lic {-kcg -o iterFibo_scade.lus iterFibo.lus -n iterFibo} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c iterFibo_scade.lus -node iterFibo PASS: ./lus2lic {-kcg -o iterate_scade.lus iterate.lus -n iterate} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c iterate_scade.lus -node iterate PASS: ./lus2lic {-kcg -o left_scade.lus left.lus -n left} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c left_scade.lus -node left PASS: ./lus2lic {-kcg -o long_et_stupide_nom_de_noeud_scade.lus long_et_stupide_nom_de_noeud.lus -n long_et_stupide_nom_de_noeud} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c long_et_stupide_nom_de_noeud_scade.lus -node long_et_stupide_nom_de_noeud PASS: ./lus2lic {-kcg -o lucky_scade.lus lucky.lus -n lucky} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c lucky_scade.lus -node lucky PASS: ./lus2lic {-kcg -o lustre_test1_ok_scade.lus lustre_test1_ok.lus -n lustre_test1_ok} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c lustre_test1_ok_scade.lus -node lustre_test1_ok PASS: ./lus2lic {-kcg -o map_scade.lus map.lus -n map} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c map_scade.lus -node map PASS: ./lus2lic {-kcg -o map_red_iter_scade.lus map_red_iter.lus -n map_red_iter} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c map_red_iter_scade.lus -node map_red_iter PASS: ./lus2lic {-kcg -o mapdeRed_scade.lus mapdeRed.lus -n mapdeRed} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c mapdeRed_scade.lus -node mapdeRed PASS: ./lus2lic {-kcg -o mapinf_scade.lus mapinf.lus -n mapinf} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c mapinf_scade.lus -node mapinf PASS: ./lus2lic {-kcg -o mapiter_scade.lus mapiter.lus -n mapiter} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c mapiter_scade.lus -node mapiter PASS: ./lus2lic {-kcg -o mappredef_scade.lus mappredef.lus -n mappredef} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c mappredef_scade.lus -node mappredef PASS: ./lus2lic {-kcg -o matrice_scade.lus matrice.lus -n matrice} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c matrice_scade.lus -node matrice PASS: ./lus2lic {-kcg -o matrice2_scade.lus matrice2.lus -n matrice2} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c matrice2_scade.lus -node matrice2 PASS: ./lus2lic {-kcg -o minmax1_scade.lus minmax1.lus -n minmax1} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c minmax1_scade.lus -node minmax1 PASS: ./lus2lic {-kcg -o minmax2_scade.lus minmax2.lus -n minmax2} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c minmax2_scade.lus -node minmax2 PASS: ./lus2lic {-kcg -o minmax3_scade.lus minmax3.lus -n minmax3} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c minmax3_scade.lus -node minmax3 PASS: ./lus2lic {-kcg -o minmax4_scade.lus minmax4.lus -n minmax4} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c minmax4_scade.lus -node minmax4 PASS: ./lus2lic {-kcg -o minmax4_bis_scade.lus minmax4_bis.lus -n minmax4_bis} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c minmax4_bis_scade.lus -node minmax4_bis PASS: ./lus2lic {-kcg -o minmax5_scade.lus minmax5.lus -n minmax5} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c minmax5_scade.lus -node minmax5 PASS: ./lus2lic {-kcg -o minmax5_random_scade.lus minmax5_random.lus -n minmax5_random} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c minmax5_random_scade.lus -node minmax5_random PASS: ./lus2lic {-kcg -o minmax6_scade.lus minmax6.lus -n minmax6} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c minmax6_scade.lus -node minmax6 PASS: ./lus2lic {-kcg -o minus_scade.lus minus.lus -n minus} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c minus_scade.lus -node minus PASS: ./lus2lic {-kcg -o mm_scade.lus mm.lus -n mm} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c mm_scade.lus -node mm PASS: ./lus2lic {-kcg -o mm1_scade.lus mm1.lus -n mm1} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c mm1_scade.lus -node mm1 PASS: ./lus2lic {-kcg -o mm22_scade.lus mm22.lus -n mm22} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c mm22_scade.lus -node mm22 PASS: ./lus2lic {-kcg -o mm3_scade.lus mm3.lus -n mm3} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c mm3_scade.lus -node mm3 PASS: ./lus2lic {-kcg -o modelInst_scade.lus modelInst.lus -n modelInst} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c modelInst_scade.lus -node modelInst PASS: ./lus2lic {-kcg -o modes3x2_v2_scade.lus modes3x2_v2.lus -n modes3x2_v2} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c modes3x2_v2_scade.lus -node modes3x2_v2 PASS: ./lus2lic {-kcg -o modes3x2_v3_scade.lus modes3x2_v3.lus -n modes3x2_v3} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c modes3x2_v3_scade.lus -node modes3x2_v3 PASS: ./lus2lic {-kcg -o modes3x2_v4_scade.lus modes3x2_v4.lus -n modes3x2_v4} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c modes3x2_v4_scade.lus -node modes3x2_v4 PASS: ./lus2lic {-kcg -o morel_scade.lus morel.lus -n morel} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c morel_scade.lus -node morel PASS: ./lus2lic {-kcg -o morel2_scade.lus morel2.lus -n morel2} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c morel2_scade.lus -node morel2 PASS: ./lus2lic {-kcg -o morel3_scade.lus morel3.lus -n morel3} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c morel3_scade.lus -node morel3 PASS: ./lus2lic {-kcg -o morel4_scade.lus morel4.lus -n morel4} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c morel4_scade.lus -node morel4 PASS: ./lus2lic {-kcg -o morel5_scade.lus morel5.lus -n morel5} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c morel5_scade.lus -node morel5 PASS: ./lus2lic {-kcg -o mouse_scade.lus mouse.lus -n mouse} PASS: ./lus2lic {-kcg -o mouse1_scade.lus mouse1.lus -n mouse1} PASS: ./lus2lic {-kcg -o mouse2_scade.lus mouse2.lus -n mouse2} PASS: ./lus2lic {-kcg -o mouse3_scade.lus mouse3.lus -n mouse3} PASS: ./lus2lic {-kcg -o moyenne_scade.lus moyenne.lus -n moyenne} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c moyenne_scade.lus -node moyenne PASS: ./lus2lic {-kcg -o multiclock_scade.lus multiclock.lus -n multiclock} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c multiclock_scade.lus -node multiclock PASS: ./lus2lic {-kcg -o multipar_scade.lus multipar.lus -n multipar} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c multipar_scade.lus -node multipar PASS: ./lus2lic {-kcg -o nc1_scade.lus nc1.lus -n nc1} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c nc1_scade.lus -node nc1 PASS: ./lus2lic {-kcg -o nc10_scade.lus nc10.lus -n nc10} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c nc10_scade.lus -node nc10 PASS: ./lus2lic {-kcg -o nc2_scade.lus nc2.lus -n nc2} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c nc2_scade.lus -node nc2 PASS: ./lus2lic {-kcg -o nc3_scade.lus nc3.lus -n nc3} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c nc3_scade.lus -node nc3 PASS: ./lus2lic {-kcg -o nc4_scade.lus nc4.lus -n nc4} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c nc4_scade.lus -node nc4 PASS: ./lus2lic {-kcg -o nc5_scade.lus nc5.lus -n nc5} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c nc5_scade.lus -node nc5 PASS: ./lus2lic {-kcg -o nc6_scade.lus nc6.lus -n nc6} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c nc6_scade.lus -node nc6 PASS: ./lus2lic {-kcg -o nc7_scade.lus nc7.lus -n nc7} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c nc7_scade.lus -node nc7 PASS: ./lus2lic {-kcg -o nc8_scade.lus nc8.lus -n nc8} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c nc8_scade.lus -node nc8 PASS: ./lus2lic {-kcg -o nc9_scade.lus nc9.lus -n nc9} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c nc9_scade.lus -node nc9 PASS: ./lus2lic {-kcg -o nested_scade.lus nested.lus -n nested} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c nested_scade.lus -node nested PASS: ./lus2lic {-kcg -o newpacks_scade.lus newpacks.lus -n newpacks} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c newpacks_scade.lus -node newpacks PASS: ./lus2lic {-kcg -o noAlarm_scade.lus noAlarm.lus -n noAlarm} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c noAlarm_scade.lus -node noAlarm PASS: ./lus2lic {-kcg -o node_caller1_scade.lus node_caller1.lus -n node_caller1} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c node_caller1_scade.lus -node node_caller1 PASS: ./lus2lic {-kcg -o nodeparam_scade.lus nodeparam.lus -n nodeparam} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c nodeparam_scade.lus -node nodeparam PASS: ./lus2lic {-kcg -o noeudsIndependants_scade.lus noeudsIndependants.lus -n noeudsIndependants} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c noeudsIndependants_scade.lus -node noeudsIndependants PASS: ./lus2lic {-kcg -o normal_scade.lus normal.lus -n normal} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c normal_scade.lus -node normal PASS: ./lus2lic {-kcg -o notTwo_scade.lus notTwo.lus -n notTwo} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c notTwo_scade.lus -node notTwo PASS: ./lus2lic {-kcg -o o2l_feux_compl_scade.lus o2l_feux_compl.lus -n o2l_feux_compl} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c o2l_feux_compl_scade.lus -node o2l_feux_compl PASS: ./lus2lic {-kcg -o oneq_scade.lus oneq.lus -n oneq} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c oneq_scade.lus -node oneq PASS: ./lus2lic {-kcg -o onlyroll_scade.lus onlyroll.lus -n onlyroll} PASS: ./lus2lic {-kcg -o onlyroll2_scade.lus onlyroll2.lus -n onlyroll2} PASS: ./lus2lic {-kcg -o over2_scade.lus over2.lus -n over2} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c over2_scade.lus -node over2 PASS: ./lus2lic {-kcg -o over3_scade.lus over3.lus -n over3} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c over3_scade.lus -node over3 PASS: ./lus2lic {-kcg -o overload_scade.lus overload.lus -n overload} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c overload_scade.lus -node overload PASS: ./lus2lic {-kcg -o p_scade.lus p.lus -n p} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c p_scade.lus -node p PASS: ./lus2lic {-kcg -o pack1_scade.lus pack1.lus -n pack1} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c pack1_scade.lus -node pack1 PASS: ./lus2lic {-kcg -o packageTableau_scade.lus packageTableau.lus -n packageTableau} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c packageTableau_scade.lus -node packageTableau PASS: ./lus2lic {-kcg -o packed_cst_scade.lus packed_cst.lus -n packed_cst} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c packed_cst_scade.lus -node packed_cst PASS: ./lus2lic {-kcg -o packs_scade.lus packs.lus -n packs} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c packs_scade.lus -node packs PASS: ./lus2lic {-kcg -o param_node_scade.lus param_node.lus -n param_node} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c param_node_scade.lus -node param_node PASS: ./lus2lic {-kcg -o param_node2_scade.lus param_node2.lus -n param_node2} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c param_node2_scade.lus -node param_node2 PASS: ./lus2lic {-kcg -o param_node3_scade.lus param_node3.lus -n param_node3} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c param_node3_scade.lus -node param_node3 PASS: ./lus2lic {-kcg -o param_node4_scade.lus param_node4.lus -n param_node4} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c param_node4_scade.lus -node param_node4 PASS: ./lus2lic {-kcg -o param_struct_scade.lus param_struct.lus -n param_struct} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c param_struct_scade.lus -node param_struct PASS: ./lus2lic --expand-nodes {-kcg -o pilote_scade.lus pilote.lus -n pilote} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c pilote_scade.lus -node pilote PASS: ./lus2lic {-kcg -o pipeline_scade.lus pipeline.lus -n pipeline} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c pipeline_scade.lus -node pipeline PASS: ./lus2lic {-kcg -o plus_scade.lus plus.lus -n plus} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c plus_scade.lus -node plus PASS: ./lus2lic {-kcg -o ply01_scade.lus ply01.lus -n ply01} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c ply01_scade.lus -node ply01 PASS: ./lus2lic {-kcg -o ply02_scade.lus ply02.lus -n ply02} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c ply02_scade.lus -node ply02 PASS: ./lus2lic {-kcg -o ply03_scade.lus ply03.lus -n ply03} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c ply03_scade.lus -node ply03 PASS: ./lus2lic {-kcg -o polymorphic_pack_scade.lus polymorphic_pack.lus -n polymorphic_pack} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c polymorphic_pack_scade.lus -node polymorphic_pack PASS: ./lus2lic {-kcg -o poussoir_scade.lus poussoir.lus -n poussoir} PASS: ./lus2lic {-kcg -o pplus_scade.lus pplus.lus -n pplus} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c pplus_scade.lus -node pplus PASS: ./lus2lic {-kcg -o pre_x_scade.lus pre_x.lus -n pre_x} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c pre_x_scade.lus -node pre_x PASS: ./lus2lic {-kcg -o predef01_scade.lus predef01.lus -n predef01} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c predef01_scade.lus -node predef01 PASS: ./lus2lic {-kcg -o predef02_scade.lus predef02.lus -n predef02} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c predef02_scade.lus -node predef02 PASS: ./lus2lic {-kcg -o predef03_scade.lus predef03.lus -n predef03} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c predef03_scade.lus -node predef03 PASS: ./lus2lic {-kcg -o predefOp_scade.lus predefOp.lus -n predefOp} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c predefOp_scade.lus -node predefOp PASS: ./lus2lic {-kcg -o produitBool_scade.lus produitBool.lus -n produitBool} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c produitBool_scade.lus -node produitBool PASS: ./lus2lic {-kcg -o redIf_scade.lus redIf.lus -n redIf} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c redIf_scade.lus -node redIf PASS: ./lus2lic {-kcg -o rediter_scade.lus rediter.lus -n rediter} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c rediter_scade.lus -node rediter PASS: ./lus2lic {-kcg -o redoptest_scade.lus redoptest.lus -n redoptest} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c redoptest_scade.lus -node redoptest PASS: ./lus2lic {-kcg -o remplissage_scade.lus remplissage.lus -n remplissage} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c remplissage_scade.lus -node remplissage PASS: ./lus2lic {-kcg -o rs_scade.lus rs.lus -n rs} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c rs_scade.lus -node rs PASS: ./lus2lic {-kcg -o sample_time_change_scade.lus sample_time_change.lus -n sample_time_change} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c sample_time_change_scade.lus -node sample_time_change PASS: ./lus2lic {-kcg -o sample_time_change_MainNode_scade.lus sample_time_change_MainNode.lus -n sample_time_change_MainNode} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c sample_time_change_MainNode_scade.lus -node sample_time_change_MainNode PASS: ./lus2lic {-kcg -o shiftFill_ludic_scade.lus shiftFill_ludic.lus -n shiftFill_ludic} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c shiftFill_ludic_scade.lus -node shiftFill_ludic PASS: ./lus2lic {-kcg -o shift_ludic_scade.lus shift_ludic.lus -n shift_ludic} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c shift_ludic_scade.lus -node shift_ludic PASS: ./lus2lic {-kcg -o simple_scade.lus simple.lus -n simple} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c simple_scade.lus -node simple PASS: ./lus2lic {-kcg -o simpleRed_scade.lus simpleRed.lus -n simpleRed} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c simpleRed_scade.lus -node simpleRed PASS: ./lus2lic {-kcg -o sincos_scade.lus sincos.lus -n sincos} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c sincos_scade.lus -node sincos PASS: ./lus2lic --expand-nodes {-kcg -o speedcontrol_scade.lus speedcontrol.lus -n speedcontrol} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c speedcontrol_scade.lus -node speedcontrol PASS: ./lus2lic {-kcg -o stopwatch_scade.lus stopwatch.lus -n stopwatch} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c stopwatch_scade.lus -node stopwatch PASS: ./lus2lic {-kcg -o struct0_scade.lus struct0.lus -n struct0} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c struct0_scade.lus -node struct0 PASS: ./lus2lic {-kcg -o struct_with_scade.lus struct_with.lus -n struct_with} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c struct_with_scade.lus -node struct_with PASS: ./lus2lic {-kcg -o t0_scade.lus t0.lus -n t0} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c t0_scade.lus -node t0 PASS: ./lus2lic {-kcg -o t1_scade.lus t1.lus -n t1} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c t1_scade.lus -node t1 PASS: ./lus2lic {-kcg -o t2_scade.lus t2.lus -n t2} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c t2_scade.lus -node t2 PASS: ./lus2lic {-kcg -o test_scade.lus test.lus -n test} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_scade.lus -node test PASS: ./lus2lic {-kcg -o testBoite_scade.lus testBoite.lus -n testBoite} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c testBoite_scade.lus -node testBoite PASS: ./lus2lic {-kcg -o testCA_scade.lus testCA.lus -n testCA} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c testCA_scade.lus -node testCA PASS: ./lus2lic {-kcg -o testCapt_scade.lus testCapt.lus -n testCapt} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c testCapt_scade.lus -node testCapt PASS: ./lus2lic {-kcg -o testPilote_scade.lus testPilote.lus -n testPilote} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c testPilote_scade.lus -node testPilote PASS: ./lus2lic {-kcg -o test_Int_scade.lus test_Int.lus -n test_Int} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_Int_scade.lus -node test_Int PASS: ./lus2lic {-kcg -o test_arrow_scade.lus test_arrow.lus -n test_arrow} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_arrow_scade.lus -node test_arrow PASS: ./lus2lic {-kcg -o test_boolred_scade.lus test_boolred.lus -n test_boolred} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_boolred_scade.lus -node test_boolred PASS: ./lus2lic {-kcg -o test_clash_scade.lus test_clash.lus -n test_clash} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_clash_scade.lus -node test_clash PASS: ./lus2lic {-kcg -o test_condact_scade.lus test_condact.lus -n test_condact} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_condact_scade.lus -node test_condact PASS: ./lus2lic {-kcg -o test_const_scade.lus test_const.lus -n test_const} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_const_scade.lus -node test_const PASS: ./lus2lic {-kcg -o test_diese_scade.lus test_diese.lus -n test_diese} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_diese_scade.lus -node test_diese PASS: ./lus2lic {-kcg -o test_enum_scade.lus test_enum.lus -n test_enum} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_enum_scade.lus -node test_enum PASS: ./lus2lic {-kcg -o test_extern_scade.lus test_extern.lus -n test_extern} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_extern_scade.lus -node test_extern PASS: ./lus2lic {-kcg -o test_lustre_scade.lus test_lustre.lus -n test_lustre} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_lustre_scade.lus -node test_lustre PASS: ./lus2lic {-kcg -o test_map_scade.lus test_map.lus -n test_map} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_map_scade.lus -node test_map PASS: ./lus2lic {-kcg -o test_merge_scade.lus test_merge.lus -n test_merge} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_merge_scade.lus -node test_merge PASS: ./lus2lic {-kcg -o test_model_scade.lus test_model.lus -n test_model} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_model_scade.lus -node test_model PASS: ./lus2lic {-kcg -o test_model2_scade.lus test_model2.lus -n test_model2} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_model2_scade.lus -node test_model2 PASS: ./lus2lic {-kcg -o test_node_expand_scade.lus test_node_expand.lus -n test_node_expand} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_node_expand_scade.lus -node test_node_expand PASS: ./lus2lic {-kcg -o test_node_expand2_scade.lus test_node_expand2.lus -n test_node_expand2} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_node_expand2_scade.lus -node test_node_expand2 PASS: ./lus2lic {-kcg -o test_poly_scade.lus test_poly.lus -n test_poly} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_poly_scade.lus -node test_poly PASS: ./lus2lic {-kcg -o test_struct_scade.lus test_struct.lus -n test_struct} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_struct_scade.lus -node test_struct PASS: ./lus2lic {-kcg -o titi_scade.lus titi.lus -n titi} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c titi_scade.lus -node titi PASS: ./lus2lic {-kcg -o toolate_scade.lus toolate.lus -n toolate} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c toolate_scade.lus -node toolate PASS: ./lus2lic {-kcg -o toto_scade.lus toto.lus -n toto} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c toto_scade.lus -node toto PASS: ./lus2lic {-kcg -o tranche_scade.lus tranche.lus -n tranche} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c tranche_scade.lus -node tranche PASS: ./lus2lic {-kcg -o tri_scade.lus tri.lus -n tri} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c tri_scade.lus -node tri PASS: ./lus2lic {-kcg -o triSel_scade.lus triSel.lus -n triSel} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c triSel_scade.lus -node triSel PASS: ./lus2lic {-kcg -o trivial_scade.lus trivial.lus -n trivial} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c trivial_scade.lus -node trivial PASS: ./lus2lic {-kcg -o trivial2_scade.lus trivial2.lus -n trivial2} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c trivial2_scade.lus -node trivial2 PASS: ./lus2lic {-kcg -o trivial_array_scade.lus trivial_array.lus -n trivial_array} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c trivial_array_scade.lus -node trivial_array PASS: ./lus2lic {-kcg -o ts01_scade.lus ts01.lus -n ts01} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c ts01_scade.lus -node ts01 PASS: ./lus2lic {-kcg -o ts04_scade.lus ts04.lus -n ts04} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c ts04_scade.lus -node ts04 PASS: ./lus2lic {-kcg -o tuple_scade.lus tuple.lus -n tuple} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c tuple_scade.lus -node tuple PASS: ./lus2lic {-kcg -o type_decl_scade.lus type_decl.lus -n type_decl} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c type_decl_scade.lus -node type_decl PASS: ./lus2lic {-kcg -o uu_scade.lus uu.lus -n uu} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c uu_scade.lus -node uu PASS: ./lus2lic {-kcg -o v1_scade.lus v1.lus -n v1} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c v1_scade.lus -node v1 PASS: ./lus2lic {-kcg -o when_tuple_scade.lus when_tuple.lus -n when_tuple} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c when_tuple_scade.lus -node when_tuple PASS: ./lus2lic {-kcg -o xx_scade.lus xx.lus -n xx} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c xx_scade.lus -node xx PASS: ./lus2lic {-kcg -o xxx_scade.lus xxx.lus -n xxx} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c xxx_scade.lus -node xxx PASS: ./lus2lic {-kcg -o yyy_scade.lus yyy.lus -n yyy} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c yyy_scade.lus -node yyy PASS: ./lus2lic {-kcg -o zzz_scade.lus zzz.lus -n zzz} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c zzz_scade.lus -node zzz PASS: ./lus2lic {-kcg -o zzz2_scade.lus zzz2.lus -n zzz2} PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c zzz2_scade.lus -node zzz2 === lus2lic-kcg Summary === # of expected passes 359 # of unexpected failures 137