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

expansion of "boolred" in form of equations.

parent 41faa9b4
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 31 additions and 31 deletions
test/lus2lic-kcg.sum
+ 31
− 31
View file @ 9d093478
Test Run By ndiaye on Fri Jul 3 11:13:08 2015
Test Run By ndiaye on Fri Jul 10 09:19:18 2015
Native configuration is x86_64-unknown-linux-gnu
=== lus2lic-kcg tests ===
......@@ -65,9 +65,9 @@ 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}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c array_concat_scade.lus -node 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}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c array_concat2_scade.lus -node 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}
......@@ -79,13 +79,13 @@ PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c bascule_scade.lus -
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}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c bred_scade.lus -node 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}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c bred_lv4_scade.lus -node 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}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c bug_scade.lus -node 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}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c bug2_scade.lus -node 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
......@@ -104,7 +104,7 @@ PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c call05_scade.lus -n
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}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c call07_scade.lus -node 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}
......@@ -136,7 +136,7 @@ PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c consensus_scade.lus
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}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c contractForElementSelectionInArray_scade.lus -node 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}
......@@ -156,7 +156,7 @@ PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c dep_scade.lus -node
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}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c dependeur_struct_scade.lus -node 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}
......@@ -166,11 +166,11 @@ PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c enum0_scade.lus -no
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}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c exclusion_scade.lus -node 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}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c filter_scade.lus -node 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
......@@ -199,7 +199,7 @@ FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/mi
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}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c left_scade.lus -node 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}
......@@ -244,11 +244,11 @@ FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/mi
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}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c mm1_scade.lus -node 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}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c mm22_scade.lus -node 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}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c mm3_scade.lus -node 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 model_scade.lus model.lus -n model}
PASS: ./lus2lic {-kcg -o model2_scade.lus model2.lus -n model2}
PASS: ./lus2lic {-kcg -o modelInst_scade.lus modelInst.lus -n modelInst}
......@@ -259,13 +259,13 @@ FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/mi
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}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c morel_scade.lus -node 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}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c morel2_scade.lus -node 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}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c morel3_scade.lus -node 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}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c morel4_scade.lus -node 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}
......@@ -314,7 +314,7 @@ FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/mi
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}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c o2l_feux_compl_scade.lus -node 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}
......@@ -363,7 +363,7 @@ FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/mi
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}
FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c predef03_scade.lus -node 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}
......@@ -417,14 +417,14 @@ FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/mi
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}
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: /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: ./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}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c test_diese_scade.lus -node 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}
......@@ -444,11 +444,11 @@ FAIL: Check that the generated scade code compiles : /usr/local/tools/lustre/mi
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}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c toolate_scade.lus -node 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}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c toto_scade.lus -node 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}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c tranche_scade.lus -node 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}
......@@ -458,7 +458,7 @@ PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c trivial_scade.lus -
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}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c trivial_array_scade.lus -node 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}
......@@ -466,7 +466,7 @@ PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c ts04_scade.lus -nod
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}
PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c type_decl_scade.lus -node 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}
......@@ -486,5 +486,5 @@ PASS: /usr/local/tools/lustre/misc/scade-win32/621/bin/s2c zzz2_scade.lus -nod
=== lus2lic-kcg Summary ===
# of expected passes 372
# of unexpected failures 103
# of expected passes 352
# of unexpected failures 123
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