diff --git a/test-old/Condact.lus b/_test-old/Condact.lus
similarity index 100%
rename from test-old/Condact.lus
rename to _test-old/Condact.lus
diff --git a/test-old/Makefile b/_test-old/Makefile
similarity index 100%
rename from test-old/Makefile
rename to _test-old/Makefile
diff --git a/test-old/contractForElementSelectionInArray/contractForElementSelectionInArray.lus b/_test-old/contractForElementSelectionInArray/contractForElementSelectionInArray.lus
similarity index 100%
rename from test-old/contractForElementSelectionInArray/contractForElementSelectionInArray.lus
rename to _test-old/contractForElementSelectionInArray/contractForElementSelectionInArray.lus
diff --git a/test-old/contractForElementSelectionInArray/main.lus b/_test-old/contractForElementSelectionInArray/main.lus
similarity index 100%
rename from test-old/contractForElementSelectionInArray/main.lus
rename to _test-old/contractForElementSelectionInArray/main.lus
diff --git a/test-old/contractForElementSelectionInArray/noeudsIndependants.lus b/_test-old/contractForElementSelectionInArray/noeudsIndependants.lus
similarity index 100%
rename from test-old/contractForElementSelectionInArray/noeudsIndependants.lus
rename to _test-old/contractForElementSelectionInArray/noeudsIndependants.lus
diff --git a/test-old/contractForElementSelectionInArray/packageTableau.lus b/_test-old/contractForElementSelectionInArray/packageTableau.lus
similarity index 100%
rename from test-old/contractForElementSelectionInArray/packageTableau.lus
rename to _test-old/contractForElementSelectionInArray/packageTableau.lus
diff --git a/test-old/contractForElementSelectionInArray/readme b/_test-old/contractForElementSelectionInArray/readme
similarity index 100%
rename from test-old/contractForElementSelectionInArray/readme
rename to _test-old/contractForElementSelectionInArray/readme
diff --git a/test-old/contractForElementSelectionInArray/tri.lus b/_test-old/contractForElementSelectionInArray/tri.lus
similarity index 100%
rename from test-old/contractForElementSelectionInArray/tri.lus
rename to _test-old/contractForElementSelectionInArray/tri.lus
diff --git a/test-old/modelInst.lus b/_test-old/modelInst.lus
similarity index 100%
rename from test-old/modelInst.lus
rename to _test-old/modelInst.lus
diff --git a/test-old/packages.lus b/_test-old/packages.lus
similarity index 100%
rename from test-old/packages.lus
rename to _test-old/packages.lus
diff --git a/test-old/packages2.lus b/_test-old/packages2.lus
similarity index 100%
rename from test-old/packages2.lus
rename to _test-old/packages2.lus
diff --git a/test-old/qs.lv6 b/_test-old/qs.lv6
similarity index 100%
rename from test-old/qs.lv6
rename to _test-old/qs.lv6
diff --git a/test-old/readme b/_test-old/readme
similarity index 100%
rename from test-old/readme
rename to _test-old/readme
diff --git a/test-old/test.diff b/_test-old/test.diff
similarity index 100%
rename from test-old/test.diff
rename to _test-old/test.diff
diff --git a/test-old/test.exp b/_test-old/test.exp
similarity index 100%
rename from test-old/test.exp
rename to _test-old/test.exp
diff --git a/test-old/test.res b/_test-old/test.res
similarity index 100%
rename from test-old/test.res
rename to _test-old/test.res
diff --git a/test-old/tests/cons.lus b/_test-old/tests/cons.lus
similarity index 100%
rename from test-old/tests/cons.lus
rename to _test-old/tests/cons.lus
diff --git a/test-old/tests/const-array.lus b/_test-old/tests/const-array.lus
similarity index 100%
rename from test-old/tests/const-array.lus
rename to _test-old/tests/const-array.lus
diff --git a/test-old/tests/const-bool.lus b/_test-old/tests/const-bool.lus
similarity index 100%
rename from test-old/tests/const-bool.lus
rename to _test-old/tests/const-bool.lus
diff --git a/test-old/tests/const-simple.lus b/_test-old/tests/const-simple.lus
similarity index 100%
rename from test-old/tests/const-simple.lus
rename to _test-old/tests/const-simple.lus
diff --git a/test-old/tests/const-struct.lus b/_test-old/tests/const-struct.lus
similarity index 100%
rename from test-old/tests/const-struct.lus
rename to _test-old/tests/const-struct.lus
diff --git a/test-old/tests/left.lus b/_test-old/tests/left.lus
similarity index 100%
rename from test-old/tests/left.lus
rename to _test-old/tests/left.lus
diff --git a/test-old/tests/newpacks.lus b/_test-old/tests/newpacks.lus
similarity index 100%
rename from test-old/tests/newpacks.lus
rename to _test-old/tests/newpacks.lus
diff --git a/test-old/tests/node-simple.lus b/_test-old/tests/node-simple.lus
similarity index 100%
rename from test-old/tests/node-simple.lus
rename to _test-old/tests/node-simple.lus
diff --git a/test-old/tests/p.lus b/_test-old/tests/p.lus
similarity index 100%
rename from test-old/tests/p.lus
rename to _test-old/tests/p.lus
diff --git a/test-old/tests/packages.lus b/_test-old/tests/packages.lus
similarity index 100%
rename from test-old/tests/packages.lus
rename to _test-old/tests/packages.lus
diff --git a/test-old/tests/packs.lus b/_test-old/tests/packs.lus
similarity index 100%
rename from test-old/tests/packs.lus
rename to _test-old/tests/packs.lus
diff --git a/test-old/tests/q.lus b/_test-old/tests/q.lus
similarity index 100%
rename from test-old/tests/q.lus
rename to _test-old/tests/q.lus
diff --git a/test-old/tests/struct0.lus b/_test-old/tests/struct0.lus
similarity index 100%
rename from test-old/tests/struct0.lus
rename to _test-old/tests/struct0.lus
diff --git a/test-old/tests/t.lus b/_test-old/tests/t.lus
similarity index 100%
rename from test-old/tests/t.lus
rename to _test-old/tests/t.lus
diff --git a/test-old/tests/t0.lus b/_test-old/tests/t0.lus
similarity index 100%
rename from test-old/tests/t0.lus
rename to _test-old/tests/t0.lus
diff --git a/test-old/tests/t1.lus b/_test-old/tests/t1.lus
similarity index 100%
rename from test-old/tests/t1.lus
rename to _test-old/tests/t1.lus
diff --git a/test-old/tests/t2.lus b/_test-old/tests/t2.lus
similarity index 100%
rename from test-old/tests/t2.lus
rename to _test-old/tests/t2.lus
diff --git a/test-old/tests/test.lus b/_test-old/tests/test.lus
similarity index 100%
rename from test-old/tests/test.lus
rename to _test-old/tests/test.lus
diff --git a/test-old/tests/trivial.lus b/_test-old/tests/trivial.lus
similarity index 100%
rename from test-old/tests/trivial.lus
rename to _test-old/tests/trivial.lus
diff --git a/tests/Makefile b/_tests/Makefile
similarity index 100%
rename from tests/Makefile
rename to _tests/Makefile
diff --git a/tests/should_fail/bad_file_name b/_tests/should_fail/bad_file_name
similarity index 100%
rename from tests/should_fail/bad_file_name
rename to _tests/should_fail/bad_file_name
diff --git a/tests/should_fail/clock/bad_call02.lus b/_tests/should_fail/clock/bad_call02.lus
similarity index 100%
rename from tests/should_fail/clock/bad_call02.lus
rename to _tests/should_fail/clock/bad_call02.lus
diff --git a/tests/should_fail/clock/bad_id.lus b/_tests/should_fail/clock/bad_id.lus
similarity index 100%
rename from tests/should_fail/clock/bad_id.lus
rename to _tests/should_fail/clock/bad_id.lus
diff --git a/tests/should_fail/clock/clock.lus b/_tests/should_fail/clock/clock.lus
similarity index 100%
rename from tests/should_fail/clock/clock.lus
rename to _tests/should_fail/clock/clock.lus
diff --git a/tests/should_fail/clock/clock2.lus b/_tests/should_fail/clock/clock2.lus
similarity index 100%
rename from tests/should_fail/clock/clock2.lus
rename to _tests/should_fail/clock/clock2.lus
diff --git a/tests/should_fail/clock/inonout.lus b/_tests/should_fail/clock/inonout.lus
similarity index 100%
rename from tests/should_fail/clock/inonout.lus
rename to _tests/should_fail/clock/inonout.lus
diff --git a/tests/should_fail/clock/when_enum.lus b/_tests/should_fail/clock/when_enum.lus
similarity index 100%
rename from tests/should_fail/clock/when_enum.lus
rename to _tests/should_fail/clock/when_enum.lus
diff --git a/tests/should_fail/semantics/activation1.lus b/_tests/should_fail/semantics/activation1.lus
similarity index 100%
rename from tests/should_fail/semantics/activation1.lus
rename to _tests/should_fail/semantics/activation1.lus
diff --git a/tests/should_fail/semantics/activation2.lus b/_tests/should_fail/semantics/activation2.lus
similarity index 100%
rename from tests/should_fail/semantics/activation2.lus
rename to _tests/should_fail/semantics/activation2.lus
diff --git a/tests/should_fail/semantics/bad_call01.lus b/_tests/should_fail/semantics/bad_call01.lus
similarity index 100%
rename from tests/should_fail/semantics/bad_call01.lus
rename to _tests/should_fail/semantics/bad_call01.lus
diff --git a/tests/should_fail/semantics/bug.lus b/_tests/should_fail/semantics/bug.lus
similarity index 100%
rename from tests/should_fail/semantics/bug.lus
rename to _tests/should_fail/semantics/bug.lus
diff --git a/tests/should_fail/semantics/const.lus b/_tests/should_fail/semantics/const.lus
similarity index 100%
rename from tests/should_fail/semantics/const.lus
rename to _tests/should_fail/semantics/const.lus
diff --git a/tests/should_fail/semantics/const2.lus b/_tests/should_fail/semantics/const2.lus
similarity index 100%
rename from tests/should_fail/semantics/const2.lus
rename to _tests/should_fail/semantics/const2.lus
diff --git a/tests/should_fail/semantics/const3.lus b/_tests/should_fail/semantics/const3.lus
similarity index 100%
rename from tests/should_fail/semantics/const3.lus
rename to _tests/should_fail/semantics/const3.lus
diff --git a/tests/should_fail/semantics/cpt_dc.lus b/_tests/should_fail/semantics/cpt_dc.lus
similarity index 100%
rename from tests/should_fail/semantics/cpt_dc.lus
rename to _tests/should_fail/semantics/cpt_dc.lus
diff --git a/tests/should_fail/semantics/def.lus b/_tests/should_fail/semantics/def.lus
similarity index 100%
rename from tests/should_fail/semantics/def.lus
rename to _tests/should_fail/semantics/def.lus
diff --git a/tests/should_fail/semantics/import2.lus b/_tests/should_fail/semantics/import2.lus
similarity index 100%
rename from tests/should_fail/semantics/import2.lus
rename to _tests/should_fail/semantics/import2.lus
diff --git a/tests/should_fail/semantics/m.lus b/_tests/should_fail/semantics/m.lus
similarity index 100%
rename from tests/should_fail/semantics/m.lus
rename to _tests/should_fail/semantics/m.lus
diff --git a/tests/should_fail/semantics/not_a_constant.lus b/_tests/should_fail/semantics/not_a_constant.lus
similarity index 100%
rename from tests/should_fail/semantics/not_a_constant.lus
rename to _tests/should_fail/semantics/not_a_constant.lus
diff --git a/tests/should_fail/semantics/piege.lus b/_tests/should_fail/semantics/piege.lus
similarity index 100%
rename from tests/should_fail/semantics/piege.lus
rename to _tests/should_fail/semantics/piege.lus
diff --git a/tests/should_fail/semantics/tranche.lus b/_tests/should_fail/semantics/tranche.lus
similarity index 100%
rename from tests/should_fail/semantics/tranche.lus
rename to _tests/should_fail/semantics/tranche.lus
diff --git a/tests/should_fail/semantics/x.lus b/_tests/should_fail/semantics/x.lus
similarity index 100%
rename from tests/should_fail/semantics/x.lus
rename to _tests/should_fail/semantics/x.lus
diff --git a/tests/should_fail/syntax/old_style_and_pack.lus b/_tests/should_fail/syntax/old_style_and_pack.lus
similarity index 100%
rename from tests/should_fail/syntax/old_style_and_pack.lus
rename to _tests/should_fail/syntax/old_style_and_pack.lus
diff --git a/tests/should_fail/syntax/record.lus b/_tests/should_fail/syntax/record.lus
similarity index 100%
rename from tests/should_fail/syntax/record.lus
rename to _tests/should_fail/syntax/record.lus
diff --git a/tests/should_fail/type/Gyro.lus b/_tests/should_fail/type/Gyro.lus
similarity index 100%
rename from tests/should_fail/type/Gyro.lus
rename to _tests/should_fail/type/Gyro.lus
diff --git a/tests/should_fail/type/bad_call03.lus b/_tests/should_fail/type/bad_call03.lus
similarity index 100%
rename from tests/should_fail/type/bad_call03.lus
rename to _tests/should_fail/type/bad_call03.lus
diff --git a/tests/should_fail/type/const2.lus b/_tests/should_fail/type/const2.lus
similarity index 100%
rename from tests/should_fail/type/const2.lus
rename to _tests/should_fail/type/const2.lus
diff --git a/tests/should_fail/type/packages.lus b/_tests/should_fail/type/packages.lus
similarity index 100%
rename from tests/should_fail/type/packages.lus
rename to _tests/should_fail/type/packages.lus
diff --git a/tests/should_fail/type/packages2.lus b/_tests/should_fail/type/packages2.lus
similarity index 100%
rename from tests/should_fail/type/packages2.lus
rename to _tests/should_fail/type/packages2.lus
diff --git a/tests/should_fail/type/parametric_node.lus b/_tests/should_fail/type/parametric_node.lus
similarity index 100%
rename from tests/should_fail/type/parametric_node.lus
rename to _tests/should_fail/type/parametric_node.lus
diff --git a/tests/should_fail/type/parametric_node2.lus b/_tests/should_fail/type/parametric_node2.lus
similarity index 100%
rename from tests/should_fail/type/parametric_node2.lus
rename to _tests/should_fail/type/parametric_node2.lus
diff --git a/tests/should_fail/type/parametric_node3.lus b/_tests/should_fail/type/parametric_node3.lus
similarity index 100%
rename from tests/should_fail/type/parametric_node3.lus
rename to _tests/should_fail/type/parametric_node3.lus
diff --git a/tests/should_fail/type/parametric_node4.lus b/_tests/should_fail/type/parametric_node4.lus
similarity index 100%
rename from tests/should_fail/type/parametric_node4.lus
rename to _tests/should_fail/type/parametric_node4.lus
diff --git a/tests/should_work/NONREG/COUNTER.lus b/_tests/should_work/NONREG/COUNTER.lus
similarity index 100%
rename from tests/should_work/NONREG/COUNTER.lus
rename to _tests/should_work/NONREG/COUNTER.lus
diff --git a/tests/should_work/NONREG/CURRENT.lus b/_tests/should_work/NONREG/CURRENT.lus
similarity index 100%
rename from tests/should_work/NONREG/CURRENT.lus
rename to _tests/should_work/NONREG/CURRENT.lus
diff --git a/tests/should_work/NONREG/EDGE.lus b/_tests/should_work/NONREG/EDGE.lus
similarity index 100%
rename from tests/should_work/NONREG/EDGE.lus
rename to _tests/should_work/NONREG/EDGE.lus
diff --git a/tests/should_work/NONREG/FALLING_EDGE.lus b/_tests/should_work/NONREG/FALLING_EDGE.lus
similarity index 100%
rename from tests/should_work/NONREG/FALLING_EDGE.lus
rename to _tests/should_work/NONREG/FALLING_EDGE.lus
diff --git a/tests/should_work/NONREG/Int.lus b/_tests/should_work/NONREG/Int.lus
similarity index 100%
rename from tests/should_work/NONREG/Int.lus
rename to _tests/should_work/NONREG/Int.lus
diff --git a/tests/should_work/NONREG/PCOND.lus b/_tests/should_work/NONREG/PCOND.lus
similarity index 100%
rename from tests/should_work/NONREG/PCOND.lus
rename to _tests/should_work/NONREG/PCOND.lus
diff --git a/tests/should_work/NONREG/PCOND1.lus b/_tests/should_work/NONREG/PCOND1.lus
similarity index 100%
rename from tests/should_work/NONREG/PCOND1.lus
rename to _tests/should_work/NONREG/PCOND1.lus
diff --git a/tests/should_work/NONREG/SOURIS.lus b/_tests/should_work/NONREG/SOURIS.lus
similarity index 100%
rename from tests/should_work/NONREG/SOURIS.lus
rename to _tests/should_work/NONREG/SOURIS.lus
diff --git a/tests/should_work/NONREG/STABLE.lus b/_tests/should_work/NONREG/STABLE.lus
similarity index 100%
rename from tests/should_work/NONREG/STABLE.lus
rename to _tests/should_work/NONREG/STABLE.lus
diff --git a/tests/should_work/NONREG/SWITCH.lus b/_tests/should_work/NONREG/SWITCH.lus
similarity index 100%
rename from tests/should_work/NONREG/SWITCH.lus
rename to _tests/should_work/NONREG/SWITCH.lus
diff --git a/tests/should_work/NONREG/SWITCH1.lus b/_tests/should_work/NONREG/SWITCH1.lus
similarity index 100%
rename from tests/should_work/NONREG/SWITCH1.lus
rename to _tests/should_work/NONREG/SWITCH1.lus
diff --git a/tests/should_work/NONREG/TIME_STABLE.lus b/_tests/should_work/NONREG/TIME_STABLE.lus
similarity index 100%
rename from tests/should_work/NONREG/TIME_STABLE.lus
rename to _tests/should_work/NONREG/TIME_STABLE.lus
diff --git a/tests/should_work/NONREG/TIME_STABLE1.lus b/_tests/should_work/NONREG/TIME_STABLE1.lus
similarity index 100%
rename from tests/should_work/NONREG/TIME_STABLE1.lus
rename to _tests/should_work/NONREG/TIME_STABLE1.lus
diff --git a/tests/should_work/NONREG/Watch.lus b/_tests/should_work/NONREG/Watch.lus
similarity index 100%
rename from tests/should_work/NONREG/Watch.lus
rename to _tests/should_work/NONREG/Watch.lus
diff --git a/tests/should_work/NONREG/X.lus b/_tests/should_work/NONREG/X.lus
similarity index 100%
rename from tests/should_work/NONREG/X.lus
rename to _tests/should_work/NONREG/X.lus
diff --git a/tests/should_work/NONREG/X1.lus b/_tests/should_work/NONREG/X1.lus
similarity index 100%
rename from tests/should_work/NONREG/X1.lus
rename to _tests/should_work/NONREG/X1.lus
diff --git a/tests/should_work/NONREG/X2.lus b/_tests/should_work/NONREG/X2.lus
similarity index 100%
rename from tests/should_work/NONREG/X2.lus
rename to _tests/should_work/NONREG/X2.lus
diff --git a/tests/should_work/NONREG/X3.lus b/_tests/should_work/NONREG/X3.lus
similarity index 100%
rename from tests/should_work/NONREG/X3.lus
rename to _tests/should_work/NONREG/X3.lus
diff --git a/tests/should_work/NONREG/X6.lus b/_tests/should_work/NONREG/X6.lus
similarity index 100%
rename from tests/should_work/NONREG/X6.lus
rename to _tests/should_work/NONREG/X6.lus
diff --git a/tests/should_work/NONREG/_N_uu.lus b/_tests/should_work/NONREG/_N_uu.lus
similarity index 100%
rename from tests/should_work/NONREG/_N_uu.lus
rename to _tests/should_work/NONREG/_N_uu.lus
diff --git a/tests/should_work/NONREG/activation_ec.lus b/_tests/should_work/NONREG/activation_ec.lus
similarity index 100%
rename from tests/should_work/NONREG/activation_ec.lus
rename to _tests/should_work/NONREG/activation_ec.lus
diff --git a/tests/should_work/NONREG/after.lus b/_tests/should_work/NONREG/after.lus
similarity index 100%
rename from tests/should_work/NONREG/after.lus
rename to _tests/should_work/NONREG/after.lus
diff --git a/tests/should_work/NONREG/alarme.lus b/_tests/should_work/NONREG/alarme.lus
similarity index 100%
rename from tests/should_work/NONREG/alarme.lus
rename to _tests/should_work/NONREG/alarme.lus
diff --git a/tests/should_work/NONREG/arbitre.lus b/_tests/should_work/NONREG/arbitre.lus
similarity index 100%
rename from tests/should_work/NONREG/arbitre.lus
rename to _tests/should_work/NONREG/arbitre.lus
diff --git a/tests/should_work/NONREG/argos.lus b/_tests/should_work/NONREG/argos.lus
similarity index 100%
rename from tests/should_work/NONREG/argos.lus
rename to _tests/should_work/NONREG/argos.lus
diff --git a/tests/should_work/NONREG/assertion.lus b/_tests/should_work/NONREG/assertion.lus
similarity index 100%
rename from tests/should_work/NONREG/assertion.lus
rename to _tests/should_work/NONREG/assertion.lus
diff --git a/tests/should_work/NONREG/aux.lus b/_tests/should_work/NONREG/aux.lus
similarity index 100%
rename from tests/should_work/NONREG/aux.lus
rename to _tests/should_work/NONREG/aux.lus
diff --git a/tests/should_work/NONREG/aux1.lus b/_tests/should_work/NONREG/aux1.lus
similarity index 100%
rename from tests/should_work/NONREG/aux1.lus
rename to _tests/should_work/NONREG/aux1.lus
diff --git a/tests/should_work/NONREG/bascule.lus b/_tests/should_work/NONREG/bascule.lus
similarity index 100%
rename from tests/should_work/NONREG/bascule.lus
rename to _tests/should_work/NONREG/bascule.lus
diff --git a/tests/should_work/NONREG/call.lus b/_tests/should_work/NONREG/call.lus
similarity index 100%
rename from tests/should_work/NONREG/call.lus
rename to _tests/should_work/NONREG/call.lus
diff --git a/tests/should_work/NONREG/ck2.lus b/_tests/should_work/NONREG/ck2.lus
similarity index 100%
rename from tests/should_work/NONREG/ck2.lus
rename to _tests/should_work/NONREG/ck2.lus
diff --git a/tests/should_work/NONREG/ck3.lus b/_tests/should_work/NONREG/ck3.lus
similarity index 100%
rename from tests/should_work/NONREG/ck3.lus
rename to _tests/should_work/NONREG/ck3.lus
diff --git a/tests/should_work/NONREG/ck4.lus b/_tests/should_work/NONREG/ck4.lus
similarity index 100%
rename from tests/should_work/NONREG/ck4.lus
rename to _tests/should_work/NONREG/ck4.lus
diff --git a/tests/should_work/NONREG/ck5.lus b/_tests/should_work/NONREG/ck5.lus
similarity index 100%
rename from tests/should_work/NONREG/ck5.lus
rename to _tests/should_work/NONREG/ck5.lus
diff --git a/tests/should_work/NONREG/ck6.lus b/_tests/should_work/NONREG/ck6.lus
similarity index 100%
rename from tests/should_work/NONREG/ck6.lus
rename to _tests/should_work/NONREG/ck6.lus
diff --git a/tests/should_work/NONREG/ck7.lus b/_tests/should_work/NONREG/ck7.lus
similarity index 100%
rename from tests/should_work/NONREG/ck7.lus
rename to _tests/should_work/NONREG/ck7.lus
diff --git a/tests/should_work/NONREG/clock.lus b/_tests/should_work/NONREG/clock.lus
similarity index 100%
rename from tests/should_work/NONREG/clock.lus
rename to _tests/should_work/NONREG/clock.lus
diff --git a/tests/should_work/NONREG/cminus.lus b/_tests/should_work/NONREG/cminus.lus
similarity index 100%
rename from tests/should_work/NONREG/cminus.lus
rename to _tests/should_work/NONREG/cminus.lus
diff --git a/tests/should_work/NONREG/compteur.lus b/_tests/should_work/NONREG/compteur.lus
similarity index 100%
rename from tests/should_work/NONREG/compteur.lus
rename to _tests/should_work/NONREG/compteur.lus
diff --git a/tests/should_work/NONREG/count.lus b/_tests/should_work/NONREG/count.lus
similarity index 100%
rename from tests/should_work/NONREG/count.lus
rename to _tests/should_work/NONREG/count.lus
diff --git a/tests/should_work/NONREG/cpt.lus b/_tests/should_work/NONREG/cpt.lus
similarity index 100%
rename from tests/should_work/NONREG/cpt.lus
rename to _tests/should_work/NONREG/cpt.lus
diff --git a/tests/should_work/NONREG/cst.lus b/_tests/should_work/NONREG/cst.lus
similarity index 100%
rename from tests/should_work/NONREG/cst.lus
rename to _tests/should_work/NONREG/cst.lus
diff --git a/tests/should_work/NONREG/deconne.lus b/_tests/should_work/NONREG/deconne.lus
similarity index 100%
rename from tests/should_work/NONREG/deconne.lus
rename to _tests/should_work/NONREG/deconne.lus
diff --git a/tests/should_work/NONREG/dep.lus b/_tests/should_work/NONREG/dep.lus
similarity index 100%
rename from tests/should_work/NONREG/dep.lus
rename to _tests/should_work/NONREG/dep.lus
diff --git a/tests/should_work/NONREG/dependeur.lus b/_tests/should_work/NONREG/dependeur.lus
similarity index 100%
rename from tests/should_work/NONREG/dependeur.lus
rename to _tests/should_work/NONREG/dependeur.lus
diff --git a/tests/should_work/NONREG/dependeur_struct.lus b/_tests/should_work/NONREG/dependeur_struct.lus
similarity index 100%
rename from tests/should_work/NONREG/dependeur_struct.lus
rename to _tests/should_work/NONREG/dependeur_struct.lus
diff --git a/tests/should_work/NONREG/drapfab.lus b/_tests/should_work/NONREG/drapfab.lus
similarity index 100%
rename from tests/should_work/NONREG/drapfab.lus
rename to _tests/should_work/NONREG/drapfab.lus
diff --git a/tests/should_work/NONREG/enum.lus b/_tests/should_work/NONREG/enum.lus
similarity index 100%
rename from tests/should_work/NONREG/enum.lus
rename to _tests/should_work/NONREG/enum.lus
diff --git a/tests/should_work/NONREG/enum0.lus b/_tests/should_work/NONREG/enum0.lus
similarity index 100%
rename from tests/should_work/NONREG/enum0.lus
rename to _tests/should_work/NONREG/enum0.lus
diff --git a/tests/should_work/NONREG/eq1.lus b/_tests/should_work/NONREG/eq1.lus
similarity index 100%
rename from tests/should_work/NONREG/eq1.lus
rename to _tests/should_work/NONREG/eq1.lus
diff --git a/tests/should_work/NONREG/ex.lus b/_tests/should_work/NONREG/ex.lus
similarity index 100%
rename from tests/should_work/NONREG/ex.lus
rename to _tests/should_work/NONREG/ex.lus
diff --git a/tests/should_work/NONREG/exclusion.lus b/_tests/should_work/NONREG/exclusion.lus
similarity index 100%
rename from tests/should_work/NONREG/exclusion.lus
rename to _tests/should_work/NONREG/exclusion.lus
diff --git a/tests/should_work/NONREG/fby.lus b/_tests/should_work/NONREG/fby.lus
similarity index 100%
rename from tests/should_work/NONREG/fby.lus
rename to _tests/should_work/NONREG/fby.lus
diff --git a/tests/should_work/NONREG/flo.lus b/_tests/should_work/NONREG/flo.lus
similarity index 100%
rename from tests/should_work/NONREG/flo.lus
rename to _tests/should_work/NONREG/flo.lus
diff --git a/tests/should_work/NONREG/fresh_name.lus b/_tests/should_work/NONREG/fresh_name.lus
similarity index 100%
rename from tests/should_work/NONREG/fresh_name.lus
rename to _tests/should_work/NONREG/fresh_name.lus
diff --git a/tests/should_work/NONREG/hanane.lus b/_tests/should_work/NONREG/hanane.lus
similarity index 100%
rename from tests/should_work/NONREG/hanane.lus
rename to _tests/should_work/NONREG/hanane.lus
diff --git a/tests/should_work/NONREG/impl_priority.lus b/_tests/should_work/NONREG/impl_priority.lus
similarity index 100%
rename from tests/should_work/NONREG/impl_priority.lus
rename to _tests/should_work/NONREG/impl_priority.lus
diff --git a/tests/should_work/NONREG/import1.lus b/_tests/should_work/NONREG/import1.lus
similarity index 100%
rename from tests/should_work/NONREG/import1.lus
rename to _tests/should_work/NONREG/import1.lus
diff --git a/tests/should_work/NONREG/initial.lus b/_tests/should_work/NONREG/initial.lus
similarity index 100%
rename from tests/should_work/NONREG/initial.lus
rename to _tests/should_work/NONREG/initial.lus
diff --git a/tests/should_work/NONREG/integrator.lus b/_tests/should_work/NONREG/integrator.lus
similarity index 100%
rename from tests/should_work/NONREG/integrator.lus
rename to _tests/should_work/NONREG/integrator.lus
diff --git a/tests/should_work/NONREG/long_et_stupide_nom_de_noeud.lus b/_tests/should_work/NONREG/long_et_stupide_nom_de_noeud.lus
similarity index 100%
rename from tests/should_work/NONREG/long_et_stupide_nom_de_noeud.lus
rename to _tests/should_work/NONREG/long_et_stupide_nom_de_noeud.lus
diff --git a/tests/should_work/NONREG/merge.lus b/_tests/should_work/NONREG/merge.lus
similarity index 100%
rename from tests/should_work/NONREG/merge.lus
rename to _tests/should_work/NONREG/merge.lus
diff --git a/tests/should_work/NONREG/minmax1.lus b/_tests/should_work/NONREG/minmax1.lus
similarity index 100%
rename from tests/should_work/NONREG/minmax1.lus
rename to _tests/should_work/NONREG/minmax1.lus
diff --git a/tests/should_work/NONREG/minmax2.lus b/_tests/should_work/NONREG/minmax2.lus
similarity index 100%
rename from tests/should_work/NONREG/minmax2.lus
rename to _tests/should_work/NONREG/minmax2.lus
diff --git a/tests/should_work/NONREG/minmax3.lus b/_tests/should_work/NONREG/minmax3.lus
similarity index 100%
rename from tests/should_work/NONREG/minmax3.lus
rename to _tests/should_work/NONREG/minmax3.lus
diff --git a/tests/should_work/NONREG/minmax4.lus b/_tests/should_work/NONREG/minmax4.lus
similarity index 100%
rename from tests/should_work/NONREG/minmax4.lus
rename to _tests/should_work/NONREG/minmax4.lus
diff --git a/tests/should_work/NONREG/minmax4_bis.lus b/_tests/should_work/NONREG/minmax4_bis.lus
similarity index 100%
rename from tests/should_work/NONREG/minmax4_bis.lus
rename to _tests/should_work/NONREG/minmax4_bis.lus
diff --git a/tests/should_work/NONREG/minmax5.lus b/_tests/should_work/NONREG/minmax5.lus
similarity index 100%
rename from tests/should_work/NONREG/minmax5.lus
rename to _tests/should_work/NONREG/minmax5.lus
diff --git a/tests/should_work/NONREG/minmax5_random.lus b/_tests/should_work/NONREG/minmax5_random.lus
similarity index 100%
rename from tests/should_work/NONREG/minmax5_random.lus
rename to _tests/should_work/NONREG/minmax5_random.lus
diff --git a/tests/should_work/NONREG/minmax6.lus b/_tests/should_work/NONREG/minmax6.lus
similarity index 100%
rename from tests/should_work/NONREG/minmax6.lus
rename to _tests/should_work/NONREG/minmax6.lus
diff --git a/tests/should_work/NONREG/mm.lus b/_tests/should_work/NONREG/mm.lus
similarity index 100%
rename from tests/should_work/NONREG/mm.lus
rename to _tests/should_work/NONREG/mm.lus
diff --git a/tests/should_work/NONREG/mm1.lus b/_tests/should_work/NONREG/mm1.lus
similarity index 100%
rename from tests/should_work/NONREG/mm1.lus
rename to _tests/should_work/NONREG/mm1.lus
diff --git a/tests/should_work/NONREG/mm22.lus b/_tests/should_work/NONREG/mm22.lus
similarity index 100%
rename from tests/should_work/NONREG/mm22.lus
rename to _tests/should_work/NONREG/mm22.lus
diff --git a/tests/should_work/NONREG/mm3.lus b/_tests/should_work/NONREG/mm3.lus
similarity index 100%
rename from tests/should_work/NONREG/mm3.lus
rename to _tests/should_work/NONREG/mm3.lus
diff --git a/tests/should_work/NONREG/model.lus b/_tests/should_work/NONREG/model.lus
similarity index 100%
rename from tests/should_work/NONREG/model.lus
rename to _tests/should_work/NONREG/model.lus
diff --git a/tests/should_work/NONREG/model2.lus b/_tests/should_work/NONREG/model2.lus
similarity index 100%
rename from tests/should_work/NONREG/model2.lus
rename to _tests/should_work/NONREG/model2.lus
diff --git a/tests/should_work/NONREG/mouse.lus b/_tests/should_work/NONREG/mouse.lus
similarity index 100%
rename from tests/should_work/NONREG/mouse.lus
rename to _tests/should_work/NONREG/mouse.lus
diff --git a/tests/should_work/NONREG/mouse1.lus b/_tests/should_work/NONREG/mouse1.lus
similarity index 100%
rename from tests/should_work/NONREG/mouse1.lus
rename to _tests/should_work/NONREG/mouse1.lus
diff --git a/tests/should_work/NONREG/mouse2.lus b/_tests/should_work/NONREG/mouse2.lus
similarity index 100%
rename from tests/should_work/NONREG/mouse2.lus
rename to _tests/should_work/NONREG/mouse2.lus
diff --git a/tests/should_work/NONREG/mouse3.lus b/_tests/should_work/NONREG/mouse3.lus
similarity index 100%
rename from tests/should_work/NONREG/mouse3.lus
rename to _tests/should_work/NONREG/mouse3.lus
diff --git a/tests/should_work/NONREG/multiclock.lus b/_tests/should_work/NONREG/multiclock.lus
similarity index 100%
rename from tests/should_work/NONREG/multiclock.lus
rename to _tests/should_work/NONREG/multiclock.lus
diff --git a/tests/should_work/NONREG/nc1.lus b/_tests/should_work/NONREG/nc1.lus
similarity index 100%
rename from tests/should_work/NONREG/nc1.lus
rename to _tests/should_work/NONREG/nc1.lus
diff --git a/tests/should_work/NONREG/nc10.lus b/_tests/should_work/NONREG/nc10.lus
similarity index 100%
rename from tests/should_work/NONREG/nc10.lus
rename to _tests/should_work/NONREG/nc10.lus
diff --git a/tests/should_work/NONREG/nc2.lus b/_tests/should_work/NONREG/nc2.lus
similarity index 100%
rename from tests/should_work/NONREG/nc2.lus
rename to _tests/should_work/NONREG/nc2.lus
diff --git a/tests/should_work/NONREG/nc3.lus b/_tests/should_work/NONREG/nc3.lus
similarity index 100%
rename from tests/should_work/NONREG/nc3.lus
rename to _tests/should_work/NONREG/nc3.lus
diff --git a/tests/should_work/NONREG/nc4.lus b/_tests/should_work/NONREG/nc4.lus
similarity index 100%
rename from tests/should_work/NONREG/nc4.lus
rename to _tests/should_work/NONREG/nc4.lus
diff --git a/tests/should_work/NONREG/nc5.lus b/_tests/should_work/NONREG/nc5.lus
similarity index 100%
rename from tests/should_work/NONREG/nc5.lus
rename to _tests/should_work/NONREG/nc5.lus
diff --git a/tests/should_work/NONREG/nc6.lus b/_tests/should_work/NONREG/nc6.lus
similarity index 100%
rename from tests/should_work/NONREG/nc6.lus
rename to _tests/should_work/NONREG/nc6.lus
diff --git a/tests/should_work/NONREG/nc7.lus b/_tests/should_work/NONREG/nc7.lus
similarity index 100%
rename from tests/should_work/NONREG/nc7.lus
rename to _tests/should_work/NONREG/nc7.lus
diff --git a/tests/should_work/NONREG/nc8.lus b/_tests/should_work/NONREG/nc8.lus
similarity index 100%
rename from tests/should_work/NONREG/nc8.lus
rename to _tests/should_work/NONREG/nc8.lus
diff --git a/tests/should_work/NONREG/nc9.lus b/_tests/should_work/NONREG/nc9.lus
similarity index 100%
rename from tests/should_work/NONREG/nc9.lus
rename to _tests/should_work/NONREG/nc9.lus
diff --git a/tests/should_work/NONREG/nested.lus b/_tests/should_work/NONREG/nested.lus
similarity index 100%
rename from tests/should_work/NONREG/nested.lus
rename to _tests/should_work/NONREG/nested.lus
diff --git a/tests/should_work/NONREG/node_caller1.lus b/_tests/should_work/NONREG/node_caller1.lus
similarity index 100%
rename from tests/should_work/NONREG/node_caller1.lus
rename to _tests/should_work/NONREG/node_caller1.lus
diff --git a/tests/should_work/NONREG/o2l_feux_compl.lus b/_tests/should_work/NONREG/o2l_feux_compl.lus
similarity index 100%
rename from tests/should_work/NONREG/o2l_feux_compl.lus
rename to _tests/should_work/NONREG/o2l_feux_compl.lus
diff --git a/tests/should_work/NONREG/packed_cst.lus b/_tests/should_work/NONREG/packed_cst.lus
similarity index 100%
rename from tests/should_work/NONREG/packed_cst.lus
rename to _tests/should_work/NONREG/packed_cst.lus
diff --git a/tests/should_work/NONREG/param_node.lus b/_tests/should_work/NONREG/param_node.lus
similarity index 100%
rename from tests/should_work/NONREG/param_node.lus
rename to _tests/should_work/NONREG/param_node.lus
diff --git a/tests/should_work/NONREG/param_node2.lus b/_tests/should_work/NONREG/param_node2.lus
similarity index 100%
rename from tests/should_work/NONREG/param_node2.lus
rename to _tests/should_work/NONREG/param_node2.lus
diff --git a/tests/should_work/NONREG/param_node3.lus b/_tests/should_work/NONREG/param_node3.lus
similarity index 100%
rename from tests/should_work/NONREG/param_node3.lus
rename to _tests/should_work/NONREG/param_node3.lus
diff --git a/tests/should_work/NONREG/param_node4.lus b/_tests/should_work/NONREG/param_node4.lus
similarity index 100%
rename from tests/should_work/NONREG/param_node4.lus
rename to _tests/should_work/NONREG/param_node4.lus
diff --git a/tests/should_work/NONREG/param_struct.lus b/_tests/should_work/NONREG/param_struct.lus
similarity index 100%
rename from tests/should_work/NONREG/param_struct.lus
rename to _tests/should_work/NONREG/param_struct.lus
diff --git a/tests/should_work/NONREG/patrick.lus b/_tests/should_work/NONREG/patrick.lus
similarity index 100%
rename from tests/should_work/NONREG/patrick.lus
rename to _tests/should_work/NONREG/patrick.lus
diff --git a/tests/should_work/NONREG/poussoir.lus b/_tests/should_work/NONREG/poussoir.lus
similarity index 100%
rename from tests/should_work/NONREG/poussoir.lus
rename to _tests/should_work/NONREG/poussoir.lus
diff --git a/tests/should_work/NONREG/rs.lus b/_tests/should_work/NONREG/rs.lus
similarity index 100%
rename from tests/should_work/NONREG/rs.lus
rename to _tests/should_work/NONREG/rs.lus
diff --git a/tests/should_work/NONREG/s.lus b/_tests/should_work/NONREG/s.lus
similarity index 100%
rename from tests/should_work/NONREG/s.lus
rename to _tests/should_work/NONREG/s.lus
diff --git a/tests/should_work/NONREG/simple.lus b/_tests/should_work/NONREG/simple.lus
similarity index 100%
rename from tests/should_work/NONREG/simple.lus
rename to _tests/should_work/NONREG/simple.lus
diff --git a/tests/should_work/NONREG/sincos.lus b/_tests/should_work/NONREG/sincos.lus
similarity index 100%
rename from tests/should_work/NONREG/sincos.lus
rename to _tests/should_work/NONREG/sincos.lus
diff --git a/tests/should_work/NONREG/speedcontrol.lus b/_tests/should_work/NONREG/speedcontrol.lus
similarity index 100%
rename from tests/should_work/NONREG/speedcontrol.lus
rename to _tests/should_work/NONREG/speedcontrol.lus
diff --git a/tests/should_work/NONREG/stopwatch.lus b/_tests/should_work/NONREG/stopwatch.lus
similarity index 100%
rename from tests/should_work/NONREG/stopwatch.lus
rename to _tests/should_work/NONREG/stopwatch.lus
diff --git a/tests/should_work/NONREG/test.exp b/_tests/should_work/NONREG/test.exp
similarity index 100%
rename from tests/should_work/NONREG/test.exp
rename to _tests/should_work/NONREG/test.exp
diff --git a/tests/should_work/NONREG/test.res b/_tests/should_work/NONREG/test.res
similarity index 100%
rename from tests/should_work/NONREG/test.res
rename to _tests/should_work/NONREG/test.res
diff --git a/tests/should_work/NONREG/testCA.lus b/_tests/should_work/NONREG/testCA.lus
similarity index 100%
rename from tests/should_work/NONREG/testCA.lus
rename to _tests/should_work/NONREG/testCA.lus
diff --git a/tests/should_work/NONREG/test_clash.lus b/_tests/should_work/NONREG/test_clash.lus
similarity index 100%
rename from tests/should_work/NONREG/test_clash.lus
rename to _tests/should_work/NONREG/test_clash.lus
diff --git a/tests/should_work/NONREG/test_const.lus b/_tests/should_work/NONREG/test_const.lus
similarity index 100%
rename from tests/should_work/NONREG/test_const.lus
rename to _tests/should_work/NONREG/test_const.lus
diff --git a/tests/should_work/NONREG/test_node_expand.lus b/_tests/should_work/NONREG/test_node_expand.lus
similarity index 100%
rename from tests/should_work/NONREG/test_node_expand.lus
rename to _tests/should_work/NONREG/test_node_expand.lus
diff --git a/tests/should_work/NONREG/test_node_expand2.lus b/_tests/should_work/NONREG/test_node_expand2.lus
similarity index 100%
rename from tests/should_work/NONREG/test_node_expand2.lus
rename to _tests/should_work/NONREG/test_node_expand2.lus
diff --git a/tests/should_work/NONREG/trivial.lus b/_tests/should_work/NONREG/trivial.lus
similarity index 100%
rename from tests/should_work/NONREG/trivial.lus
rename to _tests/should_work/NONREG/trivial.lus
diff --git a/tests/should_work/NONREG/trivial2.lus b/_tests/should_work/NONREG/trivial2.lus
similarity index 100%
rename from tests/should_work/NONREG/trivial2.lus
rename to _tests/should_work/NONREG/trivial2.lus
diff --git a/tests/should_work/NONREG/tuple.lus b/_tests/should_work/NONREG/tuple.lus
similarity index 100%
rename from tests/should_work/NONREG/tuple.lus
rename to _tests/should_work/NONREG/tuple.lus
diff --git a/tests/should_work/NONREG/type_decl.lus b/_tests/should_work/NONREG/type_decl.lus
similarity index 100%
rename from tests/should_work/NONREG/type_decl.lus
rename to _tests/should_work/NONREG/type_decl.lus
diff --git a/tests/should_work/NONREG/uu.lus b/_tests/should_work/NONREG/uu.lus
similarity index 100%
rename from tests/should_work/NONREG/uu.lus
rename to _tests/should_work/NONREG/uu.lus
diff --git a/tests/should_work/NONREG/v1.lus b/_tests/should_work/NONREG/v1.lus
similarity index 100%
rename from tests/should_work/NONREG/v1.lus
rename to _tests/should_work/NONREG/v1.lus
diff --git a/tests/should_work/Pascal/access.lus b/_tests/should_work/Pascal/access.lus
similarity index 100%
rename from tests/should_work/Pascal/access.lus
rename to _tests/should_work/Pascal/access.lus
diff --git a/tests/should_work/Pascal/consensus.lus b/_tests/should_work/Pascal/consensus.lus
similarity index 100%
rename from tests/should_work/Pascal/consensus.lus
rename to _tests/should_work/Pascal/consensus.lus
diff --git a/tests/should_work/Pascal/consensus2.lus b/_tests/should_work/Pascal/consensus2.lus
similarity index 100%
rename from tests/should_work/Pascal/consensus2.lus
rename to _tests/should_work/Pascal/consensus2.lus
diff --git a/tests/should_work/Pascal/fby.lus b/_tests/should_work/Pascal/fby.lus
similarity index 100%
rename from tests/should_work/Pascal/fby.lus
rename to _tests/should_work/Pascal/fby.lus
diff --git a/tests/should_work/Pascal/func_with_body.lus b/_tests/should_work/Pascal/func_with_body.lus
similarity index 100%
rename from tests/should_work/Pascal/func_with_body.lus
rename to _tests/should_work/Pascal/func_with_body.lus
diff --git a/tests/should_work/Pascal/heater_control.lus b/_tests/should_work/Pascal/heater_control.lus
similarity index 100%
rename from tests/should_work/Pascal/heater_control.lus
rename to _tests/should_work/Pascal/heater_control.lus
diff --git a/tests/should_work/Pascal/left.lus b/_tests/should_work/Pascal/left.lus
similarity index 100%
rename from tests/should_work/Pascal/left.lus
rename to _tests/should_work/Pascal/left.lus
diff --git a/tests/should_work/Pascal/newpacks.lus b/_tests/should_work/Pascal/newpacks.lus
similarity index 100%
rename from tests/should_work/Pascal/newpacks.lus
rename to _tests/should_work/Pascal/newpacks.lus
diff --git a/tests/should_work/Pascal/onlyroll.lus b/_tests/should_work/Pascal/onlyroll.lus
similarity index 100%
rename from tests/should_work/Pascal/onlyroll.lus
rename to _tests/should_work/Pascal/onlyroll.lus
diff --git a/tests/should_work/Pascal/p.lus b/_tests/should_work/Pascal/p.lus
similarity index 100%
rename from tests/should_work/Pascal/p.lus
rename to _tests/should_work/Pascal/p.lus
diff --git a/tests/should_work/Pascal/packs.lus b/_tests/should_work/Pascal/packs.lus
similarity index 100%
rename from tests/should_work/Pascal/packs.lus
rename to _tests/should_work/Pascal/packs.lus
diff --git a/tests/should_work/Pascal/pfs.lus b/_tests/should_work/Pascal/pfs.lus
similarity index 100%
rename from tests/should_work/Pascal/pfs.lus
rename to _tests/should_work/Pascal/pfs.lus
diff --git a/tests/should_work/Pascal/struct.lus b/_tests/should_work/Pascal/struct.lus
similarity index 100%
rename from tests/should_work/Pascal/struct.lus
rename to _tests/should_work/Pascal/struct.lus
diff --git a/tests/should_work/Pascal/struct0.lus b/_tests/should_work/Pascal/struct0.lus
similarity index 100%
rename from tests/should_work/Pascal/struct0.lus
rename to _tests/should_work/Pascal/struct0.lus
diff --git a/tests/should_work/Pascal/t.lus b/_tests/should_work/Pascal/t.lus
similarity index 100%
rename from tests/should_work/Pascal/t.lus
rename to _tests/should_work/Pascal/t.lus
diff --git a/tests/should_work/Pascal/t0.lus b/_tests/should_work/Pascal/t0.lus
similarity index 100%
rename from tests/should_work/Pascal/t0.lus
rename to _tests/should_work/Pascal/t0.lus
diff --git a/tests/should_work/Pascal/t1.lus b/_tests/should_work/Pascal/t1.lus
similarity index 100%
rename from tests/should_work/Pascal/t1.lus
rename to _tests/should_work/Pascal/t1.lus
diff --git a/tests/should_work/Pascal/t2.lus b/_tests/should_work/Pascal/t2.lus
similarity index 100%
rename from tests/should_work/Pascal/t2.lus
rename to _tests/should_work/Pascal/t2.lus
diff --git a/tests/should_work/Pascal/test.lus b/_tests/should_work/Pascal/test.lus
similarity index 100%
rename from tests/should_work/Pascal/test.lus
rename to _tests/should_work/Pascal/test.lus
diff --git a/tests/should_work/Pascal/trivial.lus b/_tests/should_work/Pascal/trivial.lus
similarity index 100%
rename from tests/should_work/Pascal/trivial.lus
rename to _tests/should_work/Pascal/trivial.lus
diff --git a/tests/should_work/clock/clock.lus b/_tests/should_work/clock/clock.lus
similarity index 100%
rename from tests/should_work/clock/clock.lus
rename to _tests/should_work/clock/clock.lus
diff --git a/tests/should_work/clock/clock2.lus b/_tests/should_work/clock/clock2.lus
similarity index 100%
rename from tests/should_work/clock/clock2.lus
rename to _tests/should_work/clock/clock2.lus
diff --git a/tests/should_work/clock/clock_ite.lus b/_tests/should_work/clock/clock_ite.lus
similarity index 100%
rename from tests/should_work/clock/clock_ite.lus
rename to _tests/should_work/clock/clock_ite.lus
diff --git a/tests/should_work/clock/when_enum.lus b/_tests/should_work/clock/when_enum.lus
similarity index 100%
rename from tests/should_work/clock/when_enum.lus
rename to _tests/should_work/clock/when_enum.lus
diff --git a/tests/should_work/clock/when_node.lus b/_tests/should_work/clock/when_node.lus
similarity index 100%
rename from tests/should_work/clock/when_node.lus
rename to _tests/should_work/clock/when_node.lus
diff --git a/tests/should_work/clock/when_not.lus b/_tests/should_work/clock/when_not.lus
similarity index 100%
rename from tests/should_work/clock/when_not.lus
rename to _tests/should_work/clock/when_not.lus
diff --git a/tests/should_work/clock/when_tuple.lus b/_tests/should_work/clock/when_tuple.lus
similarity index 100%
rename from tests/should_work/clock/when_tuple.lus
rename to _tests/should_work/clock/when_tuple.lus
diff --git a/tests/should_work/demo/Gyroscope2.lus b/_tests/should_work/demo/Gyroscope2.lus
similarity index 100%
rename from tests/should_work/demo/Gyroscope2.lus
rename to _tests/should_work/demo/Gyroscope2.lus
diff --git a/tests/should_work/demo/alias.lus b/_tests/should_work/demo/alias.lus
similarity index 100%
rename from tests/should_work/demo/alias.lus
rename to _tests/should_work/demo/alias.lus
diff --git a/tests/should_work/demo/bred.lus b/_tests/should_work/demo/bred.lus
similarity index 100%
rename from tests/should_work/demo/bred.lus
rename to _tests/should_work/demo/bred.lus
diff --git a/tests/should_work/demo/bred_lv4.lus b/_tests/should_work/demo/bred_lv4.lus
similarity index 100%
rename from tests/should_work/demo/bred_lv4.lus
rename to _tests/should_work/demo/bred_lv4.lus
diff --git a/tests/should_work/demo/clock.lus b/_tests/should_work/demo/clock.lus
similarity index 100%
rename from tests/should_work/demo/clock.lus
rename to _tests/should_work/demo/clock.lus
diff --git a/tests/should_work/demo/clock1_2ms.lus b/_tests/should_work/demo/clock1_2ms.lus
similarity index 100%
rename from tests/should_work/demo/clock1_2ms.lus
rename to _tests/should_work/demo/clock1_2ms.lus
diff --git a/tests/should_work/demo/decl.lus b/_tests/should_work/demo/decl.lus
similarity index 100%
rename from tests/should_work/demo/decl.lus
rename to _tests/should_work/demo/decl.lus
diff --git a/tests/should_work/demo/declaration.lus b/_tests/should_work/demo/declaration.lus
similarity index 100%
rename from tests/should_work/demo/declaration.lus
rename to _tests/should_work/demo/declaration.lus
diff --git a/tests/should_work/demo/def.lus b/_tests/should_work/demo/def.lus
similarity index 100%
rename from tests/should_work/demo/def.lus
rename to _tests/should_work/demo/def.lus
diff --git a/tests/should_work/demo/filliter.lus b/_tests/should_work/demo/filliter.lus
similarity index 100%
rename from tests/should_work/demo/filliter.lus
rename to _tests/should_work/demo/filliter.lus
diff --git a/tests/should_work/demo/filter.lus b/_tests/should_work/demo/filter.lus
similarity index 100%
rename from tests/should_work/demo/filter.lus
rename to _tests/should_work/demo/filter.lus
diff --git a/tests/should_work/demo/lustre_test1_ok.lus b/_tests/should_work/demo/lustre_test1_ok.lus
similarity index 100%
rename from tests/should_work/demo/lustre_test1_ok.lus
rename to _tests/should_work/demo/lustre_test1_ok.lus
diff --git a/tests/should_work/demo/map_red_iter.lus b/_tests/should_work/demo/map_red_iter.lus
similarity index 100%
rename from tests/should_work/demo/map_red_iter.lus
rename to _tests/should_work/demo/map_red_iter.lus
diff --git a/tests/should_work/demo/mapdeRed.lus b/_tests/should_work/demo/mapdeRed.lus
similarity index 100%
rename from tests/should_work/demo/mapdeRed.lus
rename to _tests/should_work/demo/mapdeRed.lus
diff --git a/tests/should_work/demo/mapinf.lus b/_tests/should_work/demo/mapinf.lus
similarity index 100%
rename from tests/should_work/demo/mapinf.lus
rename to _tests/should_work/demo/mapinf.lus
diff --git a/tests/should_work/demo/mapiter.lus b/_tests/should_work/demo/mapiter.lus
similarity index 100%
rename from tests/should_work/demo/mapiter.lus
rename to _tests/should_work/demo/mapiter.lus
diff --git a/tests/should_work/demo/mappredef.lus b/_tests/should_work/demo/mappredef.lus
similarity index 100%
rename from tests/should_work/demo/mappredef.lus
rename to _tests/should_work/demo/mappredef.lus
diff --git a/tests/should_work/demo/plus.lus b/_tests/should_work/demo/plus.lus
similarity index 100%
rename from tests/should_work/demo/plus.lus
rename to _tests/should_work/demo/plus.lus
diff --git a/tests/should_work/demo/pre_x.lus b/_tests/should_work/demo/pre_x.lus
similarity index 100%
rename from tests/should_work/demo/pre_x.lus
rename to _tests/should_work/demo/pre_x.lus
diff --git a/tests/should_work/demo/rediter.lus b/_tests/should_work/demo/rediter.lus
similarity index 100%
rename from tests/should_work/demo/rediter.lus
rename to _tests/should_work/demo/rediter.lus
diff --git a/tests/should_work/demo/redoptest.lus b/_tests/should_work/demo/redoptest.lus
similarity index 100%
rename from tests/should_work/demo/redoptest.lus
rename to _tests/should_work/demo/redoptest.lus
diff --git a/tests/should_work/demo/sample_time_change.lus b/_tests/should_work/demo/sample_time_change.lus
similarity index 100%
rename from tests/should_work/demo/sample_time_change.lus
rename to _tests/should_work/demo/sample_time_change.lus
diff --git a/tests/should_work/demo/test.exp b/_tests/should_work/demo/test.exp
similarity index 100%
rename from tests/should_work/demo/test.exp
rename to _tests/should_work/demo/test.exp
diff --git a/tests/should_work/fab_test/bob.lus b/_tests/should_work/fab_test/bob.lus
similarity index 100%
rename from tests/should_work/fab_test/bob.lus
rename to _tests/should_work/fab_test/bob.lus
diff --git a/tests/should_work/fab_test/def.lus b/_tests/should_work/fab_test/def.lus
similarity index 100%
rename from tests/should_work/fab_test/def.lus
rename to _tests/should_work/fab_test/def.lus
diff --git a/tests/should_work/fab_test/ex.lus b/_tests/should_work/fab_test/ex.lus
similarity index 100%
rename from tests/should_work/fab_test/ex.lus
rename to _tests/should_work/fab_test/ex.lus
diff --git a/tests/should_work/fab_test/iter.lus b/_tests/should_work/fab_test/iter.lus
similarity index 100%
rename from tests/should_work/fab_test/iter.lus
rename to _tests/should_work/fab_test/iter.lus
diff --git a/tests/should_work/fab_test/iterate.lus b/_tests/should_work/fab_test/iterate.lus
similarity index 100%
rename from tests/should_work/fab_test/iterate.lus
rename to _tests/should_work/fab_test/iterate.lus
diff --git a/tests/should_work/fab_test/iterate.trace b/_tests/should_work/fab_test/iterate.trace
similarity index 100%
rename from tests/should_work/fab_test/iterate.trace
rename to _tests/should_work/fab_test/iterate.trace
diff --git a/tests/should_work/fab_test/iterate_var.trace b/_tests/should_work/fab_test/iterate_var.trace
similarity index 100%
rename from tests/should_work/fab_test/iterate_var.trace
rename to _tests/should_work/fab_test/iterate_var.trace
diff --git a/tests/should_work/fab_test/lecteur.lus b/_tests/should_work/fab_test/lecteur.lus
similarity index 100%
rename from tests/should_work/fab_test/lecteur.lus
rename to _tests/should_work/fab_test/lecteur.lus
diff --git a/tests/should_work/fab_test/lucky.lus b/_tests/should_work/fab_test/lucky.lus
similarity index 100%
rename from tests/should_work/fab_test/lucky.lus
rename to _tests/should_work/fab_test/lucky.lus
diff --git a/tests/should_work/fab_test/morel.lus b/_tests/should_work/fab_test/morel.lus
similarity index 100%
rename from tests/should_work/fab_test/morel.lus
rename to _tests/should_work/fab_test/morel.lus
diff --git a/tests/should_work/fab_test/morel2.lus b/_tests/should_work/fab_test/morel2.lus
similarity index 100%
rename from tests/should_work/fab_test/morel2.lus
rename to _tests/should_work/fab_test/morel2.lus
diff --git a/tests/should_work/fab_test/morel3.lus b/_tests/should_work/fab_test/morel3.lus
similarity index 100%
rename from tests/should_work/fab_test/morel3.lus
rename to _tests/should_work/fab_test/morel3.lus
diff --git a/tests/should_work/fab_test/morel4.lus b/_tests/should_work/fab_test/morel4.lus
similarity index 100%
rename from tests/should_work/fab_test/morel4.lus
rename to _tests/should_work/fab_test/morel4.lus
diff --git a/tests/should_work/fab_test/morel5.lus b/_tests/should_work/fab_test/morel5.lus
similarity index 100%
rename from tests/should_work/fab_test/morel5.lus
rename to _tests/should_work/fab_test/morel5.lus
diff --git a/tests/should_work/fab_test/noAlarm.lus b/_tests/should_work/fab_test/noAlarm.lus
similarity index 100%
rename from tests/should_work/fab_test/noAlarm.lus
rename to _tests/should_work/fab_test/noAlarm.lus
diff --git a/tests/should_work/fab_test/notTwo.lus b/_tests/should_work/fab_test/notTwo.lus
similarity index 100%
rename from tests/should_work/fab_test/notTwo.lus
rename to _tests/should_work/fab_test/notTwo.lus
diff --git a/tests/should_work/fab_test/onlyroll.lus b/_tests/should_work/fab_test/onlyroll.lus
similarity index 100%
rename from tests/should_work/fab_test/onlyroll.lus
rename to _tests/should_work/fab_test/onlyroll.lus
diff --git a/tests/should_work/fab_test/onlyroll2.lus b/_tests/should_work/fab_test/onlyroll2.lus
similarity index 100%
rename from tests/should_work/fab_test/onlyroll2.lus
rename to _tests/should_work/fab_test/onlyroll2.lus
diff --git a/tests/should_work/fab_test/test.exp b/_tests/should_work/fab_test/test.exp
similarity index 100%
rename from tests/should_work/fab_test/test.exp
rename to _tests/should_work/fab_test/test.exp
diff --git a/tests/should_work/fab_test/test.lus b/_tests/should_work/fab_test/test.lus
similarity index 100%
rename from tests/should_work/fab_test/test.lus
rename to _tests/should_work/fab_test/test.lus
diff --git a/tests/should_work/fab_test/test.res b/_tests/should_work/fab_test/test.res
similarity index 100%
rename from tests/should_work/fab_test/test.res
rename to _tests/should_work/fab_test/test.res
diff --git a/tests/should_work/fab_test/titi.lus b/_tests/should_work/fab_test/titi.lus
similarity index 100%
rename from tests/should_work/fab_test/titi.lus
rename to _tests/should_work/fab_test/titi.lus
diff --git a/tests/should_work/fab_test/toolate.lus b/_tests/should_work/fab_test/toolate.lus
similarity index 100%
rename from tests/should_work/fab_test/toolate.lus
rename to _tests/should_work/fab_test/toolate.lus
diff --git a/tests/should_work/fab_test/toto.lus b/_tests/should_work/fab_test/toto.lus
similarity index 100%
rename from tests/should_work/fab_test/toto.lus
rename to _tests/should_work/fab_test/toto.lus
diff --git a/tests/should_work/lionel/FillFollowedByRed.lus b/_tests/should_work/lionel/FillFollowedByRed.lus
similarity index 100%
rename from tests/should_work/lionel/FillFollowedByRed.lus
rename to _tests/should_work/lionel/FillFollowedByRed.lus
diff --git a/tests/should_work/lionel/Gyroscope.lus b/_tests/should_work/lionel/Gyroscope.lus
similarity index 100%
rename from tests/should_work/lionel/Gyroscope.lus
rename to _tests/should_work/lionel/Gyroscope.lus
diff --git a/tests/should_work/lionel/ProduitBool/produitBool.lus b/_tests/should_work/lionel/ProduitBool/produitBool.lus
similarity index 100%
rename from tests/should_work/lionel/ProduitBool/produitBool.lus
rename to _tests/should_work/lionel/ProduitBool/produitBool.lus
diff --git a/tests/should_work/lionel/ProduitBool/shiftFill_ludic.lus b/_tests/should_work/lionel/ProduitBool/shiftFill_ludic.lus
similarity index 100%
rename from tests/should_work/lionel/ProduitBool/shiftFill_ludic.lus
rename to _tests/should_work/lionel/ProduitBool/shiftFill_ludic.lus
diff --git a/tests/should_work/lionel/ProduitBool/shift_ludic.lus b/_tests/should_work/lionel/ProduitBool/shift_ludic.lus
similarity index 100%
rename from tests/should_work/lionel/ProduitBool/shift_ludic.lus
rename to _tests/should_work/lionel/ProduitBool/shift_ludic.lus
diff --git a/tests/should_work/lionel/arrays.lus b/_tests/should_work/lionel/arrays.lus
similarity index 100%
rename from tests/should_work/lionel/arrays.lus
rename to _tests/should_work/lionel/arrays.lus
diff --git a/tests/should_work/lionel/bug.lus b/_tests/should_work/lionel/bug.lus
similarity index 100%
rename from tests/should_work/lionel/bug.lus
rename to _tests/should_work/lionel/bug.lus
diff --git a/tests/should_work/lionel/calculs_max.lus b/_tests/should_work/lionel/calculs_max.lus
similarity index 100%
rename from tests/should_work/lionel/calculs_max.lus
rename to _tests/should_work/lionel/calculs_max.lus
diff --git a/tests/should_work/lionel/clock.lus b/_tests/should_work/lionel/clock.lus
similarity index 100%
rename from tests/should_work/lionel/clock.lus
rename to _tests/should_work/lionel/clock.lus
diff --git a/tests/should_work/lionel/deSimone.lus b/_tests/should_work/lionel/deSimone.lus
similarity index 100%
rename from tests/should_work/lionel/deSimone.lus
rename to _tests/should_work/lionel/deSimone.lus
diff --git a/tests/should_work/lionel/iterFibo.lus b/_tests/should_work/lionel/iterFibo.lus
similarity index 100%
rename from tests/should_work/lionel/iterFibo.lus
rename to _tests/should_work/lionel/iterFibo.lus
diff --git a/tests/should_work/lionel/mapiter.lus b/_tests/should_work/lionel/mapiter.lus
similarity index 100%
rename from tests/should_work/lionel/mapiter.lus
rename to _tests/should_work/lionel/mapiter.lus
diff --git a/tests/should_work/lionel/matrice.lus b/_tests/should_work/lionel/matrice.lus
similarity index 100%
rename from tests/should_work/lionel/matrice.lus
rename to _tests/should_work/lionel/matrice.lus
diff --git a/tests/should_work/lionel/matrice2.lus b/_tests/should_work/lionel/matrice2.lus
similarity index 100%
rename from tests/should_work/lionel/matrice2.lus
rename to _tests/should_work/lionel/matrice2.lus
diff --git a/tests/should_work/lionel/minus.lus b/_tests/should_work/lionel/minus.lus
similarity index 100%
rename from tests/should_work/lionel/minus.lus
rename to _tests/should_work/lionel/minus.lus
diff --git a/tests/should_work/lionel/moyenne.lus b/_tests/should_work/lionel/moyenne.lus
similarity index 100%
rename from tests/should_work/lionel/moyenne.lus
rename to _tests/should_work/lionel/moyenne.lus
diff --git a/tests/should_work/lionel/normal.lus b/_tests/should_work/lionel/normal.lus
similarity index 100%
rename from tests/should_work/lionel/normal.lus
rename to _tests/should_work/lionel/normal.lus
diff --git a/tests/should_work/lionel/pack1.lus b/_tests/should_work/lionel/pack1.lus
similarity index 100%
rename from tests/should_work/lionel/pack1.lus
rename to _tests/should_work/lionel/pack1.lus
diff --git a/tests/should_work/lionel/pilote-1.0.lus b/_tests/should_work/lionel/pilote-1.0.lus
similarity index 100%
rename from tests/should_work/lionel/pilote-1.0.lus
rename to _tests/should_work/lionel/pilote-1.0.lus
diff --git a/tests/should_work/lionel/pipeline.lus b/_tests/should_work/lionel/pipeline.lus
similarity index 100%
rename from tests/should_work/lionel/pipeline.lus
rename to _tests/should_work/lionel/pipeline.lus
diff --git a/tests/should_work/lionel/predefOp.lus b/_tests/should_work/lionel/predefOp.lus
similarity index 100%
rename from tests/should_work/lionel/predefOp.lus
rename to _tests/should_work/lionel/predefOp.lus
diff --git a/tests/should_work/lionel/redIf.lus b/_tests/should_work/lionel/redIf.lus
similarity index 100%
rename from tests/should_work/lionel/redIf.lus
rename to _tests/should_work/lionel/redIf.lus
diff --git a/tests/should_work/lionel/remplissage-1.0.lus b/_tests/should_work/lionel/remplissage-1.0.lus
similarity index 100%
rename from tests/should_work/lionel/remplissage-1.0.lus
rename to _tests/should_work/lionel/remplissage-1.0.lus
diff --git a/tests/should_work/lionel/simpleRed.lus b/_tests/should_work/lionel/simpleRed.lus
similarity index 100%
rename from tests/should_work/lionel/simpleRed.lus
rename to _tests/should_work/lionel/simpleRed.lus
diff --git a/tests/should_work/lionel/test.exp b/_tests/should_work/lionel/test.exp
similarity index 100%
rename from tests/should_work/lionel/test.exp
rename to _tests/should_work/lionel/test.exp
diff --git a/tests/should_work/lionel/testSilus.lus b/_tests/should_work/lionel/testSilus.lus
similarity index 100%
rename from tests/should_work/lionel/testSilus.lus
rename to _tests/should_work/lionel/testSilus.lus
diff --git a/tests/should_work/lionel/triSel.lus b/_tests/should_work/lionel/triSel.lus
similarity index 100%
rename from tests/should_work/lionel/triSel.lus
rename to _tests/should_work/lionel/triSel.lus
diff --git a/tests/should_work/packEnvTest/Condact.lus b/_tests/should_work/packEnvTest/Condact.lus
similarity index 100%
rename from tests/should_work/packEnvTest/Condact.lus
rename to _tests/should_work/packEnvTest/Condact.lus
diff --git a/tests/should_work/packEnvTest/complex.lus b/_tests/should_work/packEnvTest/complex.lus
similarity index 100%
rename from tests/should_work/packEnvTest/complex.lus
rename to _tests/should_work/packEnvTest/complex.lus
diff --git a/tests/should_work/packEnvTest/contractForElementSelectionInArray/contractForElementSelectionInArray.lus b/_tests/should_work/packEnvTest/contractForElementSelectionInArray/contractForElementSelectionInArray.lus
similarity index 100%
rename from tests/should_work/packEnvTest/contractForElementSelectionInArray/contractForElementSelectionInArray.lus
rename to _tests/should_work/packEnvTest/contractForElementSelectionInArray/contractForElementSelectionInArray.lus
diff --git a/tests/should_work/packEnvTest/contractForElementSelectionInArray/main.lus b/_tests/should_work/packEnvTest/contractForElementSelectionInArray/main.lus
similarity index 100%
rename from tests/should_work/packEnvTest/contractForElementSelectionInArray/main.lus
rename to _tests/should_work/packEnvTest/contractForElementSelectionInArray/main.lus
diff --git a/tests/should_work/packEnvTest/contractForElementSelectionInArray/noeudsIndependants.lus b/_tests/should_work/packEnvTest/contractForElementSelectionInArray/noeudsIndependants.lus
similarity index 100%
rename from tests/should_work/packEnvTest/contractForElementSelectionInArray/noeudsIndependants.lus
rename to _tests/should_work/packEnvTest/contractForElementSelectionInArray/noeudsIndependants.lus
diff --git a/tests/should_work/packEnvTest/contractForElementSelectionInArray/packageTableau.lus b/_tests/should_work/packEnvTest/contractForElementSelectionInArray/packageTableau.lus
similarity index 100%
rename from tests/should_work/packEnvTest/contractForElementSelectionInArray/packageTableau.lus
rename to _tests/should_work/packEnvTest/contractForElementSelectionInArray/packageTableau.lus
diff --git a/tests/should_work/packEnvTest/contractForElementSelectionInArray/tri.lus b/_tests/should_work/packEnvTest/contractForElementSelectionInArray/tri.lus
similarity index 100%
rename from tests/should_work/packEnvTest/contractForElementSelectionInArray/tri.lus
rename to _tests/should_work/packEnvTest/contractForElementSelectionInArray/tri.lus
diff --git a/tests/should_work/packEnvTest/iter.lus b/_tests/should_work/packEnvTest/iter.lus
similarity index 100%
rename from tests/should_work/packEnvTest/iter.lus
rename to _tests/should_work/packEnvTest/iter.lus
diff --git a/tests/should_work/packEnvTest/model.lus b/_tests/should_work/packEnvTest/model.lus
similarity index 100%
rename from tests/should_work/packEnvTest/model.lus
rename to _tests/should_work/packEnvTest/model.lus
diff --git a/tests/should_work/packEnvTest/modelInst.lus b/_tests/should_work/packEnvTest/modelInst.lus
similarity index 100%
rename from tests/should_work/packEnvTest/modelInst.lus
rename to _tests/should_work/packEnvTest/modelInst.lus
diff --git a/tests/should_work/packEnvTest/packages.lus b/_tests/should_work/packEnvTest/packages.lus
similarity index 100%
rename from tests/should_work/packEnvTest/packages.lus
rename to _tests/should_work/packEnvTest/packages.lus
diff --git a/tests/should_work/packEnvTest/packages2.lus b/_tests/should_work/packEnvTest/packages2.lus
similarity index 100%
rename from tests/should_work/packEnvTest/packages2.lus
rename to _tests/should_work/packEnvTest/packages2.lus
diff --git a/tests/should_work/packEnvTest/polymorphic_pack.lus b/_tests/should_work/packEnvTest/polymorphic_pack.lus
similarity index 100%
rename from tests/should_work/packEnvTest/polymorphic_pack.lus
rename to _tests/should_work/packEnvTest/polymorphic_pack.lus
diff --git a/tests/should_work/to_sort_out/asservi.lus b/_tests/should_work/to_sort_out/asservi.lus
similarity index 100%
rename from tests/should_work/to_sort_out/asservi.lus
rename to _tests/should_work/to_sort_out/asservi.lus
diff --git a/tests/should_work/to_sort_out/test.res b/_tests/should_work/to_sort_out/test.res
similarity index 100%
rename from tests/should_work/to_sort_out/test.res
rename to _tests/should_work/to_sort_out/test.res
diff --git a/tests/test.res.exp b/_tests/test.res.exp
similarity index 100%
rename from tests/test.res.exp
rename to _tests/test.res.exp
diff --git a/tests/test_ec.res.exp b/_tests/test_ec.res.exp
similarity index 100%
rename from tests/test_ec.res.exp
rename to _tests/test_ec.res.exp
diff --git a/tests/test_lv4.res.exp b/_tests/test_lv4.res.exp
similarity index 100%
rename from tests/test_lv4.res.exp
rename to _tests/test_lv4.res.exp
diff --git a/src/doAliasTypes.ml b/src/doAliasTypes.ml
index 6be57ec6a407ebfeccd328598b7012d7a35b955f..f68afb3b27157552aef26c0ea43045afcb9373fb 100644
--- a/src/doAliasTypes.ml
+++ b/src/doAliasTypes.ml
@@ -1,7 +1,7 @@
(*
Source 2 source transformation :
-- toutes les expressions de types sans NOM
+- toutes les expressions de type sans NOM
(donc uniquement des tableaux immédiats ?)
sont traquées et remplacées par un alias
*)
diff --git a/src/doNoPoly.ml b/src/doNoPoly.ml
index 452b230e45864c7cb5abb449a43945e16f13d1cb..003c4e457fd02788f7e46a86cc97d80bcd2c6ba8 100644
--- a/src/doNoPoly.ml
+++ b/src/doNoPoly.ml
@@ -6,7 +6,7 @@ Source 2 source transformation :
CONDITION :
- il est préférable d'appeler
ce module AVANT DoAliasTypes,
- sinon on risque d'avoir des alias bizare, du style :
+ sinon on risque d'avoir des alias bizarres, du style :
'anynum_4_7_int'
au lieu de
'int_4_7'
diff --git a/src/eff.ml b/src/eff.ml
index 7feb348174e7ce4f82d9ad502bed9abe67675c8a..c8b55edb92cd5cdbb4282575eaf165436a23ddb0 100644
--- a/src/eff.ml
+++ b/src/eff.ml
@@ -626,14 +626,6 @@ let (clock_of_left: left -> clock) =
fun left ->
snd (var_info_of_left left).var_clock_eff
-
-(* RIEN A FAIRE ICI ??
-let find_var_info lxm vars id =
- try Hashtbl.find vars.SyntaxTreeCore.vartable id
- with Not_found ->
- raise (Errors.Compile_error (lxm,"\n*** Unknown ident: " ^ (Ident.to_string id)))
-*)
-
(* utils N.B peut etre different de LicDump ! *)
let string_of_ident x =
if !Global.no_prefix then
diff --git a/src/evalType.ml b/src/evalType.ml
index de5f6d29dc4bfa0340c1fe6da4bd41ae8cc6b250..124779db6685809ec09689fcd0e69732025920c8 100644
--- a/src/evalType.ml
+++ b/src/evalType.ml
@@ -165,14 +165,6 @@ and eval_by_pos_type
else
raise_type_error (List.flatten targs) []
"two arrays of the same type was expected"
- (* OBSOLETE/ FAUX ??? D'ou ça sort ???
- let teff = match U nifyType.f [t0] [t1] with
- | UnifyType.Equal -> teff1
- | UnifyType.Unif subst -> subst_type subst teff1
- | UnifyType.Ko msg -> raise (Compile_error(lxm, msg))
- in
- [Array_type_eff (teff, s0+s1)]
- *)
| _ ->
raise_arity_error "" (List.length args) 2
in
@@ -342,13 +334,6 @@ and eval_by_name_type
in
(* let's check the type of fv *)
let fv, fv_type = f id_solver fv in
- (* OBSOLETE ET FAUX ? RIEN A UNIFIER ? *)
- (*
- let _fv_type = match U nifyType.f [ft] fv_type with
- | UnifyType.Unif t -> t
- | UnifyType.Equal -> ft
- | UnifyType.Ko msg -> raise (Compile_error(lxm, msg))
- in *)
if fv_type = [ft] then (fn,fv)
else raise_type_error fv_type [ft]
("while checking struct field "^(Lxm.details fn.src))
diff --git a/src/getEff.ml b/src/getEff.ml
index f849d7bcd805d47222023a16e49a9433fae3d92a..79e6f155cf722bd8d784f0427be7f28a7ffd6074 100644
--- a/src/getEff.ml
+++ b/src/getEff.ml
@@ -370,12 +370,6 @@ and (translate_val_exp : Eff.id_solver -> UnifyClock.subst ->
PREDEF_CALL pour les op simple, mais à terme
ça devrait disparaitre aussi ...
*)
- (* OBSOLETE
- try translate_predef_macro id_solver lxm op sargs (s, vel_eff)
- with Not_found ->
- assert (sargs=[]);
- s, mk_by_pos_op(PREDEF_CALL (op,[]))
- *)
match sargs with
| [] -> s, mk_by_pos_op(PREDEF_CALL (op.it,[]))
| _ ->
@@ -413,33 +407,6 @@ and (translate_val_exp : Eff.id_solver -> UnifyClock.subst ->
in
s, const.ve_core
)
-(* OBSOLETE et un peu faux ?
- | IDENT_n idref -> (
- try
- let s, const = UnifyClock.const_to_val_eff lxm false s
- (id_solver.id2const idref lxm)
- in
- s, const.ve_core
- with
- | Unknown_constant _ -> (* In case idref is not a static constant. *) (
- match Ident.pack_of_idref idref with
- | Some pn -> s, mk_by_pos_op(Eff.CONST_REF idref)
- (** Constant with a pack name are treated as
- Eff.IDENT. *)
- | None ->
- try
- (* try to add its pack name... *)
- let id = Ident.of_idref idref in
- let pn =
- SymbolTab.find_pack_of_const id_solver.global_symbols id lxm
- in
- let idref = Ident.make_idref pn id in
- s, mk_by_pos_op(Eff.IDENT (idref))
- with _ ->
- s, mk_by_pos_op(Eff.IDENT idref)
- )
- )
-*)
| CURRENT_n -> s, mk_by_pos_op Eff.CURRENT
| PRE_n -> s, mk_by_pos_op Eff.PRE
@@ -497,83 +464,6 @@ and (translate_val_exp : Eff.id_solver -> UnifyClock.subst ->
let vef, _, s = EvalClock.f lxm id_solver s vef [] in
s, vef
-(*
-OBSOLETE
-Un peu ad hoc :
-- on traite à part,
-- on peut sans doute faire plus propre ?
---> raise Not_found
-and translate_predef_macro id_solver lxm zemacro sargs (s,vel_eff) =
- (* ??? *)
- let vel_eff, type_ll =
- List.split (List.map (EvalType.f id_solver) vel_eff)
- in
- let type_l : Eff.type_ list = List.flatten type_ll in
-
- (* Vérif légère du profil statique : vérifie si le nombre et la nature
- d'arg peut convenir *)
- let sargs_eff = translate_predef_static_args id_solver zemacro.it sargs lxm in
- (* Vérif complète du type, on utilise des fonctions ad hoc pour
- chaque macro predef, (AFAIRE : pas très beau ...)
- N.B. le resultat est un Eff.node_profile = ins -> outs
- où les in/out sont des ident * type_
- *)
- let iter_profile = match zemacro.it with
- | Map ->
- PredefEvalType.map_profile id_solver lxm sargs_eff
- | Fill | Red | FillRed ->
- PredefEvalType.fillred_profile id_solver lxm sargs_eff
- | BoolRed ->
- PredefEvalType.boolred_profile id_solver lxm sargs_eff
- | CondAct ->
- PredefEvalType.condact_profile id_solver lxm sargs_eff
- | _ -> raise Not_found
- in
-
- (* Filtre uniquement la liste des types d'entrées attendus *)
- let type_l_exp = snd (List.split (fst iter_profile)) in
-
- (* Correction éventuelle des static args par le
- "any(num)" nécéssaire à l'unification des
- types d'entrée AFAIRE : moche moche ...
- *)
- let sargs_eff =
- if List.length type_l <> List.length type_l_exp then
- let str = Printf.sprintf
- "the iterator has a wrong arity: %s instead of %s"
- (string_of_int (List.length type_l))
- (string_of_int (List.length type_l_exp))
-
- in
- raise (Compile_error(lxm, str))
- else
- let tmatches = try UnifyType.is_matched type_l_exp type_l
- with UnifyType.Match_failed msg -> raise (Compile_error(lxm, msg))
- in
- match tmatches with
- | [] -> sargs_eff
- | _ ->
- (** ICI Est-ce qu'on garde la match ?
- peut-être qq chose à faire mais
- sans doute pas le 'instanciate_type' *)
- sargs_eff
- in
-(*
- match U nifyType.f type_l type_l_exp with
- | UnifyType.Equal -> sargs_eff
- | UnifyType.Unif typ ->
- (* The iterated nodes was polymorphic, but we know here
- that the MISSING type variable was [typ].
- *)
- (* dump_polymorphic_nodes typ; *)
- List.map (instanciate_type typ) sargs_eff
- | UnifyType.Ko str -> raise (Compile_error(lxm, str))
-*)
- let mk_by_pos_op by_pos_op_eff =
- CallByPosEff(flagit by_pos_op_eff lxm, OperEff vel_eff)
- in s, mk_by_pos_op (Eff.PREDEF_CALL(zemacro.it, sargs_eff))
-*)
-
and translate_by_name_op id_solver op =
match op.it with
| STRUCT_anonymous_n -> STRUCT_anonymous
@@ -628,88 +518,6 @@ and node_of_static_arg id_solver node_or_node_ident lxm =
| StaticArgType _
| StaticArgConst _ -> raise (Compile_error(lxm, "a node was expected"))
-
-(** OBSOLETE
-and (instanciate_type: Eff.type_ -> Eff.static_arg -> Eff.static_arg) =
- fun t sarg ->
- let make_long pstr idstr =
- Ident.long_of_idref { id_pack = Some pstr ; id_id = idstr }
- in
- let instanciate_var_info vi =
- { vi with var_type_eff = Eff.subst_type t vi.var_type_eff }
- in
- match sarg with
- | ConstStaticArgEff _ -> sarg
- | TypeStaticArgEff _ -> sarg (* we cannot denote polymorphic type... *)
- | NodeStaticArgEff(id,((node, sargs),il,ol),neff) ->
- let node = match Ident.idref_of_long node with
- | { id_pack = Some "Lustre" ; id_id = "times" } ->
- let op = if t = Int_type_eff then "itimes" else "rtimes" in
- make_long "Lustre" op
- | { id_pack = Some "Lustre" ; id_id = "slash" } ->
- let op = if t = Int_type_eff then "islash" else "rslash" in
- make_long "Lustre" op
- | { id_pack = Some "Lustre" ; id_id = "plus" } ->
- let op = if t = Int_type_eff then "iplus" else "rplus" in
- make_long "Lustre" op
- | { id_pack = Some "Lustre" ; id_id = "minus" } ->
- let op = if t = Int_type_eff then "iminus" else "rminus" in
- make_long "Lustre" op
- | { id_pack = Some "Lustre" ; id_id = "uminus" } ->
- let op = if t = Int_type_eff then "iuminus" else "ruminus" in
- make_long "Lustre" op
- | { id_pack = Some "Lustre" ; id_id = "div" } ->
- let op = if t = Int_type_eff then "div" else "rdiv" in
- make_long "Lustre" op
-
- (* polymorphic op. what should be done for type different from
- int and real?
- *)
-
- (* Lustre::ilt and co are not compiled yet. *)
- (* | { id_pack = Some "Lustre" ; id_id = "lt" } -> *)
- (* let op = if t = Int_type_eff then "ilt" *)
- (* else if t = Real_type_eff then "rlt" else "lt" in *)
- (* make_long "Lustre" op *)
- (* | { id_pack = Some "Lustre" ; id_id = "gt" } -> *)
- (* let op = if t = Int_type_eff then "igt" *)
- (* else if t = Real_type_eff then "rgt" else "gt" in *)
- (* make_long "Lustre" op *)
- (* | { id_pack = Some "Lustre" ; id_id = "lte" } -> *)
- (* let op = if t = Int_type_eff then "ilte" *)
- (* else if t = Real_type_eff then "rlte" else "lte" in *)
- (* make_long "Lustre" op *)
- (* | { id_pack = Some "Lustre" ; id_id = "gte" } -> *)
- (* let op = if t = Int_type_eff then "igte" *)
- (* else if t = Real_type_eff then "rgte" else "gte" in *)
- (* make_long "Lustre" op *)
-
- | { id_pack = Some "Lustre" ; id_id = "equal" } ->
- let op = if t = Int_type_eff then "iequal"
- else if t = Real_type_eff then "requal"
- else if t = Bool_type_eff then "bequal" else "equal" in
- make_long "Lustre" op
- | { id_pack = Some "Lustre" ; id_id = "diff" } ->
- let op = if t = Int_type_eff then "idiff"
- else if t = Real_type_eff then "rdiff"
- else if t = Bool_type_eff then "bdiff" else "diff" in
- make_long "Lustre" op
-
- | _ -> node
- in
- let il = List.map instanciate_var_info il
- and ol = List.map instanciate_var_info ol
- in
- let neff = {
- neff with
- node_key_eff = (node,sargs);
- inlist_eff = il;
- outlist_eff = ol;
- }
- in
- NodeStaticArgEff(id,((node,sargs),il,ol),neff)
-*)
-
(* exported *)
and translate_predef_static_args
(id_solver: Eff.id_solver)
@@ -734,8 +542,6 @@ and translate_predef_static_args
match sargs with
| [n; s] ->
let node_eff = node_of_static_arg id_solver n.it n.src in
- (* OBSO *)
- (* let node_arg = node_eff.node_key_eff, node_eff.inlist_eff, node_eff.outlist_eff in *)
[
NodeStaticArgEff(Ident.of_string "node", node_eff.node_key_eff);
ConstStaticArgEff(Ident.of_string "size", const_of_static_arg id_solver s.it s.src)
@@ -746,14 +552,6 @@ and translate_predef_static_args
(* expects 1 node, 1 (tuple) constant *)
match sargs with
| [n; d] ->
-(*
-(match d.it with StaticArgConst ve ->
- Printf.fprintf stdout "=== default =";
- SyntaxTreeDump.print_val_exp stdout ve;
- Printf.fprintf stdout "\n\n";
-);
-*)
-
let node_eff = node_of_static_arg id_solver n.it n.src in
(* let node_arg = node_eff.node_key_eff, node_eff.inlist_eff, node_eff.outlist_eff in *)
let dflt = const_of_static_arg id_solver d.it d.src in
diff --git a/src/lazyCompiler.ml b/src/lazyCompiler.ml
index 512608edc456278bb9b7721d8ab3ebe736d07c7f..1afd78e5d44d3d32cabec019a1a6e3a3b91bfab7 100644
--- a/src/lazyCompiler.ml
+++ b/src/lazyCompiler.ml
@@ -569,8 +569,6 @@ and (type_check_do: t -> Ident.long -> Lxm.t -> SymbolTab.t -> bool ->
&& (not (!Global.expand_structs & is_struct_or_array))
(* && not !Global.ec (* ec does not need type decl at all *) *)
then
- (* ICI IMPRESSION DE TYPE DECL OBSOLETE *)
- (* output_string !Global.oc (LicDump.type_decl type_name type_eff); *)
();
type_eff
)
@@ -670,8 +668,6 @@ and (const_check_do : t -> Ident.long -> Lxm.t -> SymbolTab.t -> bool ->
&& (not !Global.ec) (* ec does not need constant decl, except extern ones *)
) || is_extern_const
then
- (* ICI IMPRESSION DE CONST DECL OBSOLETE *)
- (* output_string !Global.oc (LicDump.const_decl cn const_eff); *)
();
const_eff
) with Recursion_error (root, stack) -> (
@@ -716,15 +712,6 @@ and (node_check_interface_do: t -> Eff.node_key -> Lxm.t ->
let topt = UnifyType.profile_is_compatible nk
node_def.src (iptypes,ibtypes) (optypes,obtypes)
in
-(* OBSOLETE
- let _ =
- (* the type profile seems ok, but it may need to unfreeze some
- polymorphic nodes *)
- match topt with
- | None -> ()
- | Some t -> GetEff.dump_polymorphic_nodes t
- in
-*)
if
prov_node_exp_eff.node_key_eff <> body_node_exp_eff.node_key_eff
then
@@ -1252,63 +1239,6 @@ and make_alias_node
in
alias_node
-(*
-OBSOLETE
-and gen_code (provide_flag:bool) (current_env:Eff.node_env) (nexp: Eff.node_exp) : unit =
-
- let nk = nexp.node_key_eff in
- let is_extern_oper =
- match nexp.def_eff with
- | ExternEff | AbstractEff None -> true
- | AbstractEff (Some _) | BodyEff _ -> false
- in
- let is_main_node =
- if !Global.main_node = "" then (
- (* if no main node is provided, we take the first node we find,
- that has a non-empty body. *)
- match nexp.def_eff with
- | ExternEff | AbstractEff _ -> false
- | BodyEff _ ->
- Global.main_node := Ident.string_of_long (fst nk);
- true
- )
- else
- (nk = (Ident.long_of_string !Global.main_node, []))
- in
- let nexp =
- if !Global.expand_nodes && is_main_node
- then NodesExpand.f current_env.local nexp
- else nexp
- in
- let nexp_struct =
- (* nb: we print res_struct, but do not return it from
- node_check, because the structure and array expansion
- modify (instanciate) the node profiles. *)
- if
- (!Global.expand_structs && not (nexp.is_polym_eff)
- && ((not !Global.expand_nodes || is_main_node) (* it is useless otherwise *)
- ) || is_extern_oper)
- then
- (
- Verbose.printf ~level:3 "-- Expand node %s \n" (Ident.long_to_string (fst nk));
- StructArrayExpand.node current_env.global current_env.local nexp
- )
- else
- nexp
- in
- if not provide_flag then
- (
- if not !Global.expand_nodes || is_extern_oper || is_main_node then
- if nexp.is_polym_eff then
- Polymorphism.push_on_polymorphic_node_stack (current_env, nexp_struct)
- else
- let str = LicDump.node_of_node_exp_eff nexp_struct in
- (* ICI IMPRESSION DE NODE DECL OBSOLETE *)
- (* output_string !Global.oc str *)
- ()
- )
-*)
-
(** builds a [node_key] and calls [node_check] *)
and solve_node_idref
(this: t)
diff --git a/src/licDump.ml b/src/licDump.ml
index dcfebcb896254f0f8c2b10f651b7eb5e80e4ab93..75f8961e1d0e610f4f444f0958fc1fd4c67ae077 100644
--- a/src/licDump.ml
+++ b/src/licDump.ml
@@ -16,10 +16,6 @@ let (dump_long : Ident.long -> string) = fun x ->
(* let str = Ident.string_of_long id in *)
(* Str.global_replace (Str.regexp "::") "__" str *)
-(* OBSOLETE
-let type_alias_table = Hashtbl.create 0
-*)
-
(******************************************************************************)
@@ -166,52 +162,6 @@ and string_def_of_type_eff = function
(* On prend le meme que Eff *)
and string_of_type_eff = Eff.string_of_type
-
-(******************************************************************************)
-
-(** Stuff to manage generated type alias
-
-OBSOLETE
-
- Indeed instead of printing:
-
- node toto(x: int ^ 4) ...
-
- we want to print something like :
-
- type int4 = int ^ 4;
- node toto(x: int4) ...
-
- That may occur only for array actually.
-
- To do that, we maintain a table of type alias that we fill each time
- we want to print (via string_of_type_eff) a type that is not a named type.
- Then, at the end, we will dump that table in the lic file.
-
- This table is filled by [array_alias].
-and (array_alias : Eff.type_ -> int -> string) =
- fun t size ->
- let array_t = Array_type_eff(t,size) in
- try Hashtbl.find type_alias_table array_t
- with Not_found ->
- let alias_t = string_of_type_eff t in
- let res = Name.array_type array_t (alias_t ^ "_" ^(string_of_int size)) in
- Hashtbl.add type_alias_table array_t res;
- res
-
-(* exported *)
-and dump_type_alias oc =
- let p = output_string oc in
- if Hashtbl.length type_alias_table > 0 then p "-- automatically defined aliases:\n";
- Hashtbl.iter
- (fun type_eff alias_name ->
- try
- p ("type " ^ alias_name ^ " = " ^ (string_def_of_type_eff type_eff)^";\n")
- with Polymorphism.Exc -> ()
- )
- type_alias_table
-*)
-
(* for printing recursive node *)
and string_of_node_key_rec (nkey: node_key) =
match nkey with
diff --git a/src/licDump.mli b/src/licDump.mli
index b90a6449b2f54100f24141a291904f8cf31f2ebf..4269138e0e53dc80582bab081ec7886e42ec3f76 100644
--- a/src/licDump.mli
+++ b/src/licDump.mli
@@ -23,14 +23,6 @@ val type_string_of_var_info_eff: Eff.var_info -> string
val type_string_of_var_info_eff4msg: Eff.var_info -> string
val string_of_slice_info_eff : Eff.slice_info -> string
-
-
-(* Dump all the aliases that were introduced during the compilation process *)
-(* OBSOLETE
-val dump_type_alias : out_channel -> unit
-*)
-
-
(* used for error msgs *)
val string_of_clock_exp : SyntaxTreeCore.clock_exp -> string
val string_of_clock2 : Eff.clock -> string
diff --git a/src/main.ml b/src/main.ml
index 5e7346ff6f41524396e24580bbffbde3b21eff7a..5b810f7403d361a9b59e650aea7ac6f31feffa3a 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -243,12 +243,7 @@ let main = (
Some (Ident.idref_of_string !Global.main_node)
in
if !Global.outfile <> "" then Global.oc := open_out !Global.outfile;
- (* OBSOLETE *)
- (* dump_entete !Global.oc; *)
Compile.doit nsl main_node;
- (* OBSOLETE
- LicDump.dump_type_alias !Global.oc;
- *)
Verbose.exe ~level:3 (fun () ->
Gc.print_stat stdout
);
diff --git a/src/predefEvalClock.ml b/src/predefEvalClock.ml
index 23683f8a4fca54d80d90e284cf2056c5212d9576..4e435f3edf85668c6271c470d95dacf2e293fb77 100644
--- a/src/predefEvalClock.ml
+++ b/src/predefEvalClock.ml
@@ -34,32 +34,6 @@ let if_clock_profile lxm sargs s =
let rec fill x n = if n > 0 then (x::(fill x (n-1))) else []
-
-(* ICI : je comprends rien à ce que ca fait ??? *)
-(* OBSOLETE
-let condact_clock_profile id_solver lxm sargs s clks =
- let (_, lto) = PredefEvalType.condact_profile id_solver lxm sargs in
- let clks = List.flatten clks in
- fill (List.hd clks) (List.length lto), s
-
-
-let fillred_clock_profile id_solver lxm sargs s clks =
- let (_, lto) = PredefEvalType.fillred_profile id_solver lxm sargs in
- let clks = List.flatten clks in
- fill (List.hd clks) (List.length lto), s
-
-let map_clock_profile id_solver lxm sargs s clks =
- let (_, lto) = PredefEvalType.map_profile id_solver lxm sargs in
- let clks = List.flatten clks in
- fill (List.hd clks) (List.length lto), s
-
-let boolred_clock_profile id_solver lxm sargs s clks =
- let (_, lto) = PredefEvalType.boolred_profile id_solver lxm sargs in
- let clks = List.flatten clks in
- fill (List.hd clks) (List.length lto), s
-*)
-
-
(* This table contains the clock profile of predefined operators *)
let f
(id_solver: Eff.id_solver)
@@ -81,12 +55,5 @@ let f
-> op_profile s
| IF_n -> if_clock_profile lxm sargs s
-(*
- | Red | Fill | FillRed -> fillred_clock_profile id_solver lxm sargs s
- | Map -> map_clock_profile id_solver lxm sargs s
- | BoolRed -> boolred_clock_profile id_solver lxm sargs s
- | CondAct -> condact_clock_profile id_solver lxm sargs s
-*)
-
diff --git a/src/predefEvalType.mli b/src/predefEvalType.mli
index 5d4418d765cdc42cf1d8c6e989452d5e1c6b74f4..688514b83885f6d53a342ecd69003dce6ba67362 100644
--- a/src/predefEvalType.mli
+++ b/src/predefEvalType.mli
@@ -25,17 +25,3 @@ val make_node_exp_eff :
val make_simple_node_exp_eff :
bool option -> Predef.op -> Lxm.t -> Eff.node_exp
-
-
-
-
-(* TODO : rather ugly, one type-checker per macro !
-Un env est necessaire pour retrouver le type des
-noeuds appeles, mais ca ne dvrait pas etre fait
-via un id_solver (cf. EvalType qui a le mem pb
-OBSOLETE
-val fillred_profile : Eff.id_solver -> Lxm.t -> Eff.static_arg list -> Eff.node_profile
-val map_profile : Eff.id_solver -> Lxm.t -> Eff.static_arg list -> Eff.node_profile
-val boolred_profile : Eff.id_solver -> Lxm.t -> Eff.static_arg list -> Eff.node_profile
-val condact_profile : Eff.id_solver -> Lxm.t -> Eff.static_arg list -> Eff.node_profile
-*)