Skip to content
Snippets Groups Projects
Commit 73163db0 authored by Mamadou Ndiaye's avatar Mamadou Ndiaye
Browse files

Update the test/lus2lic-kcg.sum by running the test

parent da1b8cf4
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 55 additions and 55 deletions
test/lus2lic-kcg.sum
+ 55
− 55
View file @ 73163db0
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
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment