diff --git a/test/lus2lic-kcg.sum b/test/lus2lic-kcg.sum index 8ae0397d6646058aaf15b267ebeb0e8950327fff..86ddec08417cf508a4e9c510556c590aedcc662d 100644 --- a/test/lus2lic-kcg.sum +++ b/test/lus2lic-kcg.sum @@ -1,4 +1,4 @@ -Test Run By jahier on Wed Jun 24 14:57:00 2015 +Test Run By ndiaye on Wed Jun 24 16:42:46 2015 Native configuration is x86_64-unknown-linux-gnu === lus2lic-kcg tests === @@ -9,12 +9,12 @@ Schedule of variations: 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 +FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c COUNTER_scade.lus -node COUNTER PASS: ./lus2lic {-kcg -o CURRENT_scade.lus CURRENT.lus -n CURRENT} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c CURRENT_scade.lus -node CURRENT PASS: ./lus2lic {-kcg -o Condact_scade.lus Condact.lus -n Condact} PASS: ./lus2lic {-kcg -o EDGE_scade.lus EDGE.lus -n EDGE} -PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c EDGE_scade.lus -node EDGE +FAIL: Check that the generated scade code compiles : /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} @@ -31,7 +31,7 @@ FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/mi 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 +FAIL: Check that the generated scade code compiles : /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} @@ -53,21 +53,21 @@ FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/mi PASS: ./lus2lic {-kcg -o aa_scade.lus aa.lus -n aa} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c aa_scade.lus -node aa PASS: ./lus2lic {-kcg -o access_scade.lus access.lus -n access} -PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c access_scade.lus -node access +FAIL: Check that the generated scade code compiles : /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 +FAIL: Check that the generated scade code compiles : /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 +FAIL: Check that the generated scade code compiles : /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 +FAIL: Check that the generated scade code compiles : /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 +FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c after_scade.lus -node after PASS: ./lus2lic {-kcg -o alias_scade.lus alias.lus -n alias} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c alias_scade.lus -node alias PASS: ./lus2lic {-kcg -o arbitre_scade.lus arbitre.lus -n arbitre} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c arbitre_scade.lus -node arbitre PASS: ./lus2lic {-kcg -o argos_scade.lus argos.lus -n argos} -PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c argos_scade.lus -node argos +FAIL: Check that the generated scade code compiles : /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} @@ -79,7 +79,7 @@ FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/mi 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 +FAIL: Check that the generated scade code compiles : /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} @@ -131,43 +131,43 @@ FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/mi PASS: ./lus2lic {-kcg -o cminus_scade.lus cminus.lus -n cminus} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c cminus_scade.lus -node cminus PASS: ./lus2lic {-kcg -o complex_scade.lus complex.lus -n complex} -PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c complex_scade.lus -node complex +FAIL: Check that the generated scade code compiles : /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 +FAIL: Check that the generated scade code compiles : /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 +FAIL: Check that the generated scade code compiles : /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 +FAIL: Check that the generated scade code compiles : /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 +FAIL: Check that the generated scade code compiles : /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 +FAIL: Check that the generated scade code compiles : /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 +FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c cst_scade.lus -node cst PASS: ./lus2lic {-kcg -o deSimone_scade.lus deSimone.lus -n deSimone} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c deSimone_scade.lus -node deSimone PASS: ./lus2lic {-kcg -o decl_scade.lus decl.lus -n decl} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c decl_scade.lus -node decl PASS: ./lus2lic {-kcg -o declaration_scade.lus declaration.lus -n declaration} -PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c declaration_scade.lus -node declaration +FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c declaration_scade.lus -node declaration PASS: ./lus2lic {-kcg -o deconne_scade.lus deconne.lus -n deconne} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c deconne_scade.lus -node deconne PASS: ./lus2lic {-kcg -o dep_scade.lus dep.lus -n dep} -PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c dep_scade.lus -node dep +FAIL: Check that the generated scade code compiles : /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 +FAIL: Check that the generated scade code compiles : /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 +FAIL: Check that the generated scade code compiles : /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 +FAIL: Check that the generated scade code compiles : /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 +FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c enum0_scade.lus -node enum0 PASS: ./lus2lic {-kcg -o ex_scade.lus ex.lus -n ex} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c ex_scade.lus -node ex PASS: ./lus2lic {-kcg -o exclusion_scade.lus exclusion.lus -n exclusion} @@ -179,11 +179,11 @@ FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/mi PASS: ./lus2lic {-kcg -o flo_scade.lus flo.lus -n flo} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c flo_scade.lus -node flo PASS: ./lus2lic {-kcg -o followed_by_scade.lus followed_by.lus -n followed_by} -PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c followed_by_scade.lus -node followed_by +FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c followed_by_scade.lus -node followed_by PASS: ./lus2lic {-kcg -o fresh_name_scade.lus fresh_name.lus -n fresh_name} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c fresh_name_scade.lus -node fresh_name PASS: ./lus2lic {-kcg -o func_with_body_scade.lus func_with_body.lus -n func_with_body} -PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c func_with_body_scade.lus -node func_with_body +FAIL: Check that the generated scade code compiles : /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} @@ -195,7 +195,7 @@ FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/mi 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 +FAIL: Check that the generated scade code compiles : /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} @@ -207,7 +207,7 @@ FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/mi 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 +FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c long_et_stupide_nom_de_noeud_scade.lus -node long_et_stupide_nom_de_noeud PASS: ./lus2lic {-kcg -o lucky_scade.lus lucky.lus -n lucky} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c lucky_scade.lus -node lucky PASS: ./lus2lic {-kcg -o lustre_scade.lus lustre.lus -n lustre} @@ -230,7 +230,7 @@ FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/mi 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 +FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c minmax1_scade.lus -node minmax1 PASS: ./lus2lic {-kcg -o minmax2_scade.lus minmax2.lus -n minmax2} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c minmax2_scade.lus -node minmax2 PASS: ./lus2lic {-kcg -o minmax3_scade.lus minmax3.lus -n minmax3} @@ -248,7 +248,7 @@ FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/mi 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 +FAIL: Check that the generated scade code compiles : /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} @@ -312,21 +312,21 @@ PASS: ./lus2lic {-kcg -o nested_scade.lus nested.lus -n nested} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c nested_scade.lus -node nested PASS: ./lus2lic {-kcg -o newpacks_scade.lus newpacks.lus -n newpacks} PASS: ./lus2lic {-kcg -o noAlarm_scade.lus noAlarm.lus -n noAlarm} -PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c noAlarm_scade.lus -node noAlarm +FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c noAlarm_scade.lus -node noAlarm PASS: ./lus2lic {-kcg -o node_caller1_scade.lus node_caller1.lus -n node_caller1} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c node_caller1_scade.lus -node node_caller1 PASS: ./lus2lic {-kcg -o nodeparam_scade.lus nodeparam.lus -n nodeparam} -PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c nodeparam_scade.lus -node nodeparam +FAIL: Check that the generated scade code compiles : /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 +FAIL: Check that the generated scade code compiles : /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 +FAIL: Check that the generated scade code compiles : /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 +FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c oneq_scade.lus -node oneq PASS: ./lus2lic {-kcg -o onlyroll_scade.lus onlyroll.lus -n onlyroll} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c onlyroll_scade.lus -node onlyroll PASS: ./lus2lic {-kcg -o onlyroll2_scade.lus onlyroll2.lus -n onlyroll2} @@ -344,11 +344,11 @@ PASS: ./lus2lic {-kcg -o packageTableau_scade.lus packageTableau.lus -n package PASS: ./lus2lic {-kcg -o packed_cst_scade.lus packed_cst.lus -n packed_cst} PASS: ./lus2lic {-kcg -o packs_scade.lus packs.lus -n packs} PASS: ./lus2lic {-kcg -o param_node_scade.lus param_node.lus -n param_node} -PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c param_node_scade.lus -node param_node +FAIL: Check that the generated scade code compiles : /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 +FAIL: Check that the generated scade code compiles : /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 +FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c param_node3_scade.lus -node param_node3 PASS: ./lus2lic {-kcg -o param_node4_scade.lus param_node4.lus -n param_node4} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c param_node4_scade.lus -node param_node4 PASS: ./lus2lic {-kcg -o param_struct_scade.lus param_struct.lus -n param_struct} @@ -369,7 +369,7 @@ PASS: ./lus2lic {-kcg -o poussoir_scade.lus poussoir.lus -n poussoir} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c poussoir_scade.lus -node poussoir FAIL: Test -kcg : ./lus2lic {-kcg -o pplus_scade.lus pplus.lus -n pplus} PASS: ./lus2lic {-kcg -o pre_x_scade.lus pre_x.lus -n pre_x} -PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c pre_x_scade.lus -node pre_x +FAIL: Check that the generated scade code compiles : /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} @@ -379,7 +379,7 @@ FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/mi 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 +FAIL: Check that the generated scade code compiles : /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} @@ -388,7 +388,7 @@ PASS: ./lus2lic {-kcg -o redoptest_scade.lus redoptest.lus -n redoptest} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c redoptest_scade.lus -node redoptest PASS: ./lus2lic {-kcg -o remplissage-1.0_scade.lus remplissage-1.0.lus -n remplissage-1.0} PASS: ./lus2lic {-kcg -o rs_scade.lus rs.lus -n rs} -PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c rs_scade.lus -node rs +FAIL: Check that the generated scade code compiles : /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} @@ -404,7 +404,7 @@ FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/mi PASS: ./lus2lic {-kcg -o sincos_scade.lus sincos.lus -n sincos} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c sincos_scade.lus -node sincos PASS: ./lus2lic --expand-nodes {-kcg -o speedcontrol_scade.lus speedcontrol.lus -n speedcontrol} -PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c speedcontrol_scade.lus -node speedcontrol +FAIL: Check that the generated scade code compiles : /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} @@ -414,20 +414,20 @@ FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/mi PASS: ./lus2lic {-kcg -o t0_scade.lus t0.lus -n t0} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c t0_scade.lus -node t0 PASS: ./lus2lic {-kcg -o t1_scade.lus t1.lus -n t1} -PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c t1_scade.lus -node t1 +FAIL: Check that the generated scade code compiles : /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 +FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c t2_scade.lus -node t2 PASS: ./lus2lic {-kcg -o test_scade.lus test.lus -n test} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_scade.lus -node test PASS: ./lus2lic {-kcg -o testBoite_scade.lus testBoite.lus -n testBoite} PASS: ./lus2lic {-kcg -o testCA_scade.lus testCA.lus -n testCA} -PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c testCA_scade.lus -node testCA +FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c testCA_scade.lus -node testCA PASS: ./lus2lic {-kcg -o testCapt_scade.lus testCapt.lus -n testCapt} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c testCapt_scade.lus -node testCapt PASS: ./lus2lic {-kcg -o testPilote_scade.lus testPilote.lus -n testPilote} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c testPilote_scade.lus -node testPilote PASS: ./lus2lic {-kcg -o test_arrow_scade.lus test_arrow.lus -n test_arrow} -PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_arrow_scade.lus -node test_arrow +FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_arrow_scade.lus -node test_arrow PASS: ./lus2lic {-kcg -o test_boolred_scade.lus test_boolred.lus -n test_boolred} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_boolred_scade.lus -node test_boolred PASS: ./lus2lic {-kcg -o test_clash_scade.lus test_clash.lus -n test_clash} @@ -438,7 +438,7 @@ FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/mi 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 +FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_enum_scade.lus -node test_enum PASS: ./lus2lic {-kcg -o test_extern_scade.lus test_extern.lus -n test_extern} FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_extern_scade.lus -node test_extern PASS: ./lus2lic {-kcg -o test_map_scade.lus test_map.lus -n test_map} @@ -472,17 +472,17 @@ FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/mi 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 +FAIL: Check that the generated scade code compiles : /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 +FAIL: Check that the generated scade code compiles : /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 +FAIL: Check that the generated scade code compiles : /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 +FAIL: Check that the generated scade code compiles : /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} @@ -492,11 +492,11 @@ FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/mi 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 +FAIL: Check that the generated scade code compiles : /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 +FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c zzz2_scade.lus -node zzz2 === lus2lic-kcg Summary === -# of expected passes 302 -# of unexpected failures 185 +# of expected passes 250 +# of unexpected failures 237