diff --git a/src/Makefile b/src/Makefile deleted file mode 100644 index 3619d0f8c56c9204c559a8196a1146de1eec6036..0000000000000000000000000000000000000000 --- a/src/Makefile +++ /dev/null @@ -1,184 +0,0 @@ - -OCAMLMAKEFILE = ./OCamlMakefile -RESULT=lus2lic$(EXE) - -LIBS = str unix - -OCAMLC=ocamlc -OCAMLOPT=ocamlopt - -ifeq ($(HOSTTYPE),cross-win32) - OCAMLC=/usr/i586-mingw32msvc/bin/ocamlc - OCAMLOPT=/usr/i586-mingw32msvc/bin/ocamlopt - OCAMLDEP=/usr/i586-mingw32msvc/bin/ocamldep - OCAMLRUN=/usr/i586-mingw32msvc/bin/ocamlrun - OCAMLLIB = `/usr/i586-mingw32msvc/bin/ocamlc -where` -endif - - -ifeq ($(HOSTTYPE),cygwin) -CFLAGS=-mno-cygwin -endif - -#OCAMLNCFLAGS=-inline 100 -unsafe -noassert -ccopt -O9 - -ifndef SOURCES -SOURCES = \ - ./version.ml \ - ./verbose.mli \ - ./verbose.ml \ - ./filenameExtras.mli \ - ./filenameExtras.ml \ - ./global.ml \ - ./ident.mli \ - ./ident.ml \ - ./lxm.mli \ - ./lxm.ml \ - ./errors.ml \ - ./predef.ml \ - ./syntaxTreeCore.ml \ - ./syntaxTree.ml \ - ./solveIdent.mli \ - ./solveIdent.ml \ - ./parserUtils.ml \ - ./parser.mly \ - ./lexer.mll \ - ./syntaxTabUtils.mli \ - ./syntaxTabUtils.ml \ - ./instanciateModel.mli \ - ./instanciateModel.ml \ - ./symbolTab.mli \ - ./symbolTab.ml \ - ./eff.ml \ - ./name.mli \ - ./name.ml \ - ./polymorphism.ml \ - ./licDump.ml \ - ./unifyType.mli \ - ./unifyType.ml \ - ./unifyClock.mli \ - ./unifyClock.ml \ - ./syntaxTab.mli \ - ./syntaxTab.ml \ - ./predefEvalType.mli \ - ./predefEvalType.ml \ - ./predefEvalConst.mli \ - ./predefEvalConst.ml \ - ./predefEvalClock.mli \ - ./predefEvalClock.ml \ - ./evalConst.mli \ - ./evalConst.ml \ - ./evalType.mli \ - ./evalType.ml \ - ./evalClock.mli \ - ./evalClock.ml \ - ./structArrayExpand.mli \ - ./structArrayExpand.ml \ - ./uniqueOutput.mli \ - ./uniqueOutput.ml \ - ./split.mli \ - ./split.ml \ - ./inline.mli \ - ./inline.ml \ - ./getEff.mli \ - ./getEff.ml \ - ./nodesExpand.mli \ - ./nodesExpand.ml \ - ./lazyCompiler.ml \ - ./lazyCompiler.mli \ - ./compile.ml \ - ./main.ml -endif - -# Be sure to build those files before doing something else -# since they are needed by $(RESULT) -PRE_TARGETS=./version.ml - -MLONLY_SOURCES=$(filter %.ml %.mll %.mly, $(SOURCES)) - -all: - make bc - -############################################################################## -# searching for untested code -test/ocamlprof.dump: pbc -prof: test/ocamlprof.dump - make test || true - mkdir prof || rm prof/* - for d in ${SOURCES}; do \ - ocamlprof -F "ocamlprof: " -f test/ocamlprof.dump $$d > prof/$$d ;\ - done - -# Upsate the test coverage rate -coverage: - rm test/ocamlprof.dump || true - make clean - make prof - grep -n -e "(\* ocamlprof: 0 \*)" prof/*.ml | grep -v "assert false" > dead.grep - grep -n -e "(\* ocamlprof: " prof/*.ml | grep -v "assert false" > all.grep - DEAD_HITS=`wc -l dead.grep | cut -f 1 -d " "`;\ - ALL_HITS=`wc -l all.grep | cut -f 1 -d " "`;\ - SOL=`echo "scale=2 ; $$DEAD_HITS * 100 / $$ALL_HITS " | bc ` ;\ - echo "$$DEAD_HITS / $$ALL_HITS = $$SOL %" > untested_line_counter - make clean - cat untested_line_counter - -##############################################################################" - -# for using the debugger -debug: - mkdir -p mli - mv *.mli mli/ - make MLONLY=yes SOURCES="$(MLONLY_SOURCES)" dc || true - mv mli/*.mli . - - -include $(OCAMLMAKEFILE) - -# cf ../release-lv6/Makefile pour une install complete. -verimag: - cp lus2lic /usr/local/tools/lustre-v6/current/bin - cp lus2lic /home/jahier/lurette/i386-linux-gcc3/bin/ - -tags: - /local/jahier/jahier/bin/otags $(SOURCES) $(shell ocamlc -where)/*.mli - -.PHONY: test - -test: $(RESULT) - cd test; make test - -test_ec: $(RESULT) - cd test; make test_ec - -utest: $(RESULT) - cd test; make utest - -diff: - cd ..; make diff - -cia: - cd ..; make cia - -ci: - cd ..; make ci - -wc: - wc $(SOURCES) - - -dot2ps: - dot -Tps lus2lic.dot > lus2lic.dot.ps -# Specific rule (version) - -.PRECIOUS: version.ml - -version.ml: - echo "(* Automatically generated from src/Makefile *) " > version.ml - echo "let tool = \"lus2lic\"" >> version.ml - echo "let branch = \"$(shell utils/get_branch_name)\"" >> version.ml - echo "let commit = \"$(shell utils/get_commit_number)\"" >> version.ml - echo "let sha_1 = \"$(shell utils/get_sha_1)"\">> version.ml - echo "let str = (branch ^ \".\" ^ commit)">> version.ml - - diff --git a/src/test/Makefile b/tests/Makefile similarity index 100% rename from src/test/Makefile rename to tests/Makefile diff --git a/src/test/should_fail/bad_file_name b/tests/should_fail/bad_file_name similarity index 100% rename from src/test/should_fail/bad_file_name rename to tests/should_fail/bad_file_name diff --git a/src/test/should_fail/clock/bad_call02.lus b/tests/should_fail/clock/bad_call02.lus similarity index 100% rename from src/test/should_fail/clock/bad_call02.lus rename to tests/should_fail/clock/bad_call02.lus diff --git a/src/test/should_fail/clock/bad_id.lus b/tests/should_fail/clock/bad_id.lus similarity index 100% rename from src/test/should_fail/clock/bad_id.lus rename to tests/should_fail/clock/bad_id.lus diff --git a/src/test/should_fail/clock/clock.lus b/tests/should_fail/clock/clock.lus similarity index 100% rename from src/test/should_fail/clock/clock.lus rename to tests/should_fail/clock/clock.lus diff --git a/src/test/should_fail/clock/clock2.lus b/tests/should_fail/clock/clock2.lus similarity index 100% rename from src/test/should_fail/clock/clock2.lus rename to tests/should_fail/clock/clock2.lus diff --git a/src/test/should_fail/clock/inonout.lus b/tests/should_fail/clock/inonout.lus similarity index 100% rename from src/test/should_fail/clock/inonout.lus rename to tests/should_fail/clock/inonout.lus diff --git a/src/test/should_fail/clock/when_enum.lus b/tests/should_fail/clock/when_enum.lus similarity index 100% rename from src/test/should_fail/clock/when_enum.lus rename to tests/should_fail/clock/when_enum.lus diff --git a/src/test/should_fail/semantics/activation1.lus b/tests/should_fail/semantics/activation1.lus similarity index 100% rename from src/test/should_fail/semantics/activation1.lus rename to tests/should_fail/semantics/activation1.lus diff --git a/src/test/should_fail/semantics/activation2.lus b/tests/should_fail/semantics/activation2.lus similarity index 100% rename from src/test/should_fail/semantics/activation2.lus rename to tests/should_fail/semantics/activation2.lus diff --git a/src/test/should_fail/semantics/bad_call01.lus b/tests/should_fail/semantics/bad_call01.lus similarity index 100% rename from src/test/should_fail/semantics/bad_call01.lus rename to tests/should_fail/semantics/bad_call01.lus diff --git a/src/test/should_fail/semantics/bug.lus b/tests/should_fail/semantics/bug.lus similarity index 100% rename from src/test/should_fail/semantics/bug.lus rename to tests/should_fail/semantics/bug.lus diff --git a/src/test/should_fail/semantics/const.lus b/tests/should_fail/semantics/const.lus similarity index 100% rename from src/test/should_fail/semantics/const.lus rename to tests/should_fail/semantics/const.lus diff --git a/src/test/should_fail/semantics/const2.lus b/tests/should_fail/semantics/const2.lus similarity index 100% rename from src/test/should_fail/semantics/const2.lus rename to tests/should_fail/semantics/const2.lus diff --git a/src/test/should_fail/semantics/const3.lus b/tests/should_fail/semantics/const3.lus similarity index 100% rename from src/test/should_fail/semantics/const3.lus rename to tests/should_fail/semantics/const3.lus diff --git a/src/test/should_fail/semantics/cpt_dc.lus b/tests/should_fail/semantics/cpt_dc.lus similarity index 100% rename from src/test/should_fail/semantics/cpt_dc.lus rename to tests/should_fail/semantics/cpt_dc.lus diff --git a/src/test/should_fail/semantics/def.lus b/tests/should_fail/semantics/def.lus similarity index 100% rename from src/test/should_fail/semantics/def.lus rename to tests/should_fail/semantics/def.lus diff --git a/src/test/should_fail/semantics/import2.lus b/tests/should_fail/semantics/import2.lus similarity index 100% rename from src/test/should_fail/semantics/import2.lus rename to tests/should_fail/semantics/import2.lus diff --git a/src/test/should_fail/semantics/m.lus b/tests/should_fail/semantics/m.lus similarity index 100% rename from src/test/should_fail/semantics/m.lus rename to tests/should_fail/semantics/m.lus diff --git a/src/test/should_fail/semantics/not_a_constant.lus b/tests/should_fail/semantics/not_a_constant.lus similarity index 100% rename from src/test/should_fail/semantics/not_a_constant.lus rename to tests/should_fail/semantics/not_a_constant.lus diff --git a/src/test/should_fail/semantics/piege.lus b/tests/should_fail/semantics/piege.lus similarity index 100% rename from src/test/should_fail/semantics/piege.lus rename to tests/should_fail/semantics/piege.lus diff --git a/src/test/should_fail/semantics/tranche.lus b/tests/should_fail/semantics/tranche.lus similarity index 100% rename from src/test/should_fail/semantics/tranche.lus rename to tests/should_fail/semantics/tranche.lus diff --git a/src/test/should_fail/semantics/x.lus b/tests/should_fail/semantics/x.lus similarity index 100% rename from src/test/should_fail/semantics/x.lus rename to tests/should_fail/semantics/x.lus diff --git a/src/test/should_fail/syntax/old_style_and_pack.lus b/tests/should_fail/syntax/old_style_and_pack.lus similarity index 100% rename from src/test/should_fail/syntax/old_style_and_pack.lus rename to tests/should_fail/syntax/old_style_and_pack.lus diff --git a/src/test/should_fail/syntax/record.lus b/tests/should_fail/syntax/record.lus similarity index 100% rename from src/test/should_fail/syntax/record.lus rename to tests/should_fail/syntax/record.lus diff --git a/src/test/should_fail/type/Gyro.lus b/tests/should_fail/type/Gyro.lus similarity index 100% rename from src/test/should_fail/type/Gyro.lus rename to tests/should_fail/type/Gyro.lus diff --git a/src/test/should_fail/type/bad_call03.lus b/tests/should_fail/type/bad_call03.lus similarity index 100% rename from src/test/should_fail/type/bad_call03.lus rename to tests/should_fail/type/bad_call03.lus diff --git a/src/test/should_fail/type/const2.lus b/tests/should_fail/type/const2.lus similarity index 100% rename from src/test/should_fail/type/const2.lus rename to tests/should_fail/type/const2.lus diff --git a/src/test/should_fail/type/packages.lus b/tests/should_fail/type/packages.lus similarity index 100% rename from src/test/should_fail/type/packages.lus rename to tests/should_fail/type/packages.lus diff --git a/src/test/should_fail/type/packages2.lus b/tests/should_fail/type/packages2.lus similarity index 100% rename from src/test/should_fail/type/packages2.lus rename to tests/should_fail/type/packages2.lus diff --git a/src/test/should_fail/type/parametric_node.lus b/tests/should_fail/type/parametric_node.lus similarity index 100% rename from src/test/should_fail/type/parametric_node.lus rename to tests/should_fail/type/parametric_node.lus diff --git a/src/test/should_fail/type/parametric_node2.lus b/tests/should_fail/type/parametric_node2.lus similarity index 100% rename from src/test/should_fail/type/parametric_node2.lus rename to tests/should_fail/type/parametric_node2.lus diff --git a/src/test/should_fail/type/parametric_node3.lus b/tests/should_fail/type/parametric_node3.lus similarity index 100% rename from src/test/should_fail/type/parametric_node3.lus rename to tests/should_fail/type/parametric_node3.lus diff --git a/src/test/should_fail/type/parametric_node4.lus b/tests/should_fail/type/parametric_node4.lus similarity index 100% rename from src/test/should_fail/type/parametric_node4.lus rename to tests/should_fail/type/parametric_node4.lus diff --git a/src/test/should_work/NONREG/COUNTER.lus b/tests/should_work/NONREG/COUNTER.lus similarity index 100% rename from src/test/should_work/NONREG/COUNTER.lus rename to tests/should_work/NONREG/COUNTER.lus diff --git a/src/test/should_work/NONREG/CURRENT.lus b/tests/should_work/NONREG/CURRENT.lus similarity index 100% rename from src/test/should_work/NONREG/CURRENT.lus rename to tests/should_work/NONREG/CURRENT.lus diff --git a/src/test/should_work/NONREG/EDGE.lus b/tests/should_work/NONREG/EDGE.lus similarity index 100% rename from src/test/should_work/NONREG/EDGE.lus rename to tests/should_work/NONREG/EDGE.lus diff --git a/src/test/should_work/NONREG/FALLING_EDGE.lus b/tests/should_work/NONREG/FALLING_EDGE.lus similarity index 100% rename from src/test/should_work/NONREG/FALLING_EDGE.lus rename to tests/should_work/NONREG/FALLING_EDGE.lus diff --git a/src/test/should_work/NONREG/Int.lus b/tests/should_work/NONREG/Int.lus similarity index 100% rename from src/test/should_work/NONREG/Int.lus rename to tests/should_work/NONREG/Int.lus diff --git a/src/test/should_work/NONREG/PCOND.lus b/tests/should_work/NONREG/PCOND.lus similarity index 100% rename from src/test/should_work/NONREG/PCOND.lus rename to tests/should_work/NONREG/PCOND.lus diff --git a/src/test/should_work/NONREG/PCOND1.lus b/tests/should_work/NONREG/PCOND1.lus similarity index 100% rename from src/test/should_work/NONREG/PCOND1.lus rename to tests/should_work/NONREG/PCOND1.lus diff --git a/src/test/should_work/NONREG/SOURIS.lus b/tests/should_work/NONREG/SOURIS.lus similarity index 100% rename from src/test/should_work/NONREG/SOURIS.lus rename to tests/should_work/NONREG/SOURIS.lus diff --git a/src/test/should_work/NONREG/STABLE.lus b/tests/should_work/NONREG/STABLE.lus similarity index 100% rename from src/test/should_work/NONREG/STABLE.lus rename to tests/should_work/NONREG/STABLE.lus diff --git a/src/test/should_work/NONREG/SWITCH.lus b/tests/should_work/NONREG/SWITCH.lus similarity index 100% rename from src/test/should_work/NONREG/SWITCH.lus rename to tests/should_work/NONREG/SWITCH.lus diff --git a/src/test/should_work/NONREG/SWITCH1.lus b/tests/should_work/NONREG/SWITCH1.lus similarity index 100% rename from src/test/should_work/NONREG/SWITCH1.lus rename to tests/should_work/NONREG/SWITCH1.lus diff --git a/src/test/should_work/NONREG/TIME_STABLE.lus b/tests/should_work/NONREG/TIME_STABLE.lus similarity index 100% rename from src/test/should_work/NONREG/TIME_STABLE.lus rename to tests/should_work/NONREG/TIME_STABLE.lus diff --git a/src/test/should_work/NONREG/TIME_STABLE1.lus b/tests/should_work/NONREG/TIME_STABLE1.lus similarity index 100% rename from src/test/should_work/NONREG/TIME_STABLE1.lus rename to tests/should_work/NONREG/TIME_STABLE1.lus diff --git a/src/test/should_work/NONREG/Watch.lus b/tests/should_work/NONREG/Watch.lus similarity index 100% rename from src/test/should_work/NONREG/Watch.lus rename to tests/should_work/NONREG/Watch.lus diff --git a/src/test/should_work/NONREG/X.lus b/tests/should_work/NONREG/X.lus similarity index 100% rename from src/test/should_work/NONREG/X.lus rename to tests/should_work/NONREG/X.lus diff --git a/src/test/should_work/NONREG/X1.lus b/tests/should_work/NONREG/X1.lus similarity index 100% rename from src/test/should_work/NONREG/X1.lus rename to tests/should_work/NONREG/X1.lus diff --git a/src/test/should_work/NONREG/X2.lus b/tests/should_work/NONREG/X2.lus similarity index 100% rename from src/test/should_work/NONREG/X2.lus rename to tests/should_work/NONREG/X2.lus diff --git a/src/test/should_work/NONREG/X3.lus b/tests/should_work/NONREG/X3.lus similarity index 100% rename from src/test/should_work/NONREG/X3.lus rename to tests/should_work/NONREG/X3.lus diff --git a/src/test/should_work/NONREG/X6.lus b/tests/should_work/NONREG/X6.lus similarity index 100% rename from src/test/should_work/NONREG/X6.lus rename to tests/should_work/NONREG/X6.lus diff --git a/src/test/should_work/NONREG/_N_uu.lus b/tests/should_work/NONREG/_N_uu.lus similarity index 100% rename from src/test/should_work/NONREG/_N_uu.lus rename to tests/should_work/NONREG/_N_uu.lus diff --git a/src/test/should_work/NONREG/activation_ec.lus b/tests/should_work/NONREG/activation_ec.lus similarity index 100% rename from src/test/should_work/NONREG/activation_ec.lus rename to tests/should_work/NONREG/activation_ec.lus diff --git a/src/test/should_work/NONREG/after.lus b/tests/should_work/NONREG/after.lus similarity index 100% rename from src/test/should_work/NONREG/after.lus rename to tests/should_work/NONREG/after.lus diff --git a/src/test/should_work/NONREG/alarme.lus b/tests/should_work/NONREG/alarme.lus similarity index 100% rename from src/test/should_work/NONREG/alarme.lus rename to tests/should_work/NONREG/alarme.lus diff --git a/src/test/should_work/NONREG/arbitre.lus b/tests/should_work/NONREG/arbitre.lus similarity index 100% rename from src/test/should_work/NONREG/arbitre.lus rename to tests/should_work/NONREG/arbitre.lus diff --git a/src/test/should_work/NONREG/argos.lus b/tests/should_work/NONREG/argos.lus similarity index 100% rename from src/test/should_work/NONREG/argos.lus rename to tests/should_work/NONREG/argos.lus diff --git a/src/test/should_work/NONREG/assertion.lus b/tests/should_work/NONREG/assertion.lus similarity index 100% rename from src/test/should_work/NONREG/assertion.lus rename to tests/should_work/NONREG/assertion.lus diff --git a/src/test/should_work/NONREG/aux.lus b/tests/should_work/NONREG/aux.lus similarity index 100% rename from src/test/should_work/NONREG/aux.lus rename to tests/should_work/NONREG/aux.lus diff --git a/src/test/should_work/NONREG/aux1.lus b/tests/should_work/NONREG/aux1.lus similarity index 100% rename from src/test/should_work/NONREG/aux1.lus rename to tests/should_work/NONREG/aux1.lus diff --git a/src/test/should_work/NONREG/bascule.lus b/tests/should_work/NONREG/bascule.lus similarity index 100% rename from src/test/should_work/NONREG/bascule.lus rename to tests/should_work/NONREG/bascule.lus diff --git a/src/test/should_work/NONREG/call.lus b/tests/should_work/NONREG/call.lus similarity index 100% rename from src/test/should_work/NONREG/call.lus rename to tests/should_work/NONREG/call.lus diff --git a/src/test/should_work/NONREG/ck2.lus b/tests/should_work/NONREG/ck2.lus similarity index 100% rename from src/test/should_work/NONREG/ck2.lus rename to tests/should_work/NONREG/ck2.lus diff --git a/src/test/should_work/NONREG/ck3.lus b/tests/should_work/NONREG/ck3.lus similarity index 100% rename from src/test/should_work/NONREG/ck3.lus rename to tests/should_work/NONREG/ck3.lus diff --git a/src/test/should_work/NONREG/ck4.lus b/tests/should_work/NONREG/ck4.lus similarity index 100% rename from src/test/should_work/NONREG/ck4.lus rename to tests/should_work/NONREG/ck4.lus diff --git a/src/test/should_work/NONREG/ck5.lus b/tests/should_work/NONREG/ck5.lus similarity index 100% rename from src/test/should_work/NONREG/ck5.lus rename to tests/should_work/NONREG/ck5.lus diff --git a/src/test/should_work/NONREG/ck6.lus b/tests/should_work/NONREG/ck6.lus similarity index 100% rename from src/test/should_work/NONREG/ck6.lus rename to tests/should_work/NONREG/ck6.lus diff --git a/src/test/should_work/NONREG/ck7.lus b/tests/should_work/NONREG/ck7.lus similarity index 100% rename from src/test/should_work/NONREG/ck7.lus rename to tests/should_work/NONREG/ck7.lus diff --git a/src/test/should_work/NONREG/clock.lus b/tests/should_work/NONREG/clock.lus similarity index 100% rename from src/test/should_work/NONREG/clock.lus rename to tests/should_work/NONREG/clock.lus diff --git a/src/test/should_work/NONREG/cminus.lus b/tests/should_work/NONREG/cminus.lus similarity index 100% rename from src/test/should_work/NONREG/cminus.lus rename to tests/should_work/NONREG/cminus.lus diff --git a/src/test/should_work/NONREG/compteur.lus b/tests/should_work/NONREG/compteur.lus similarity index 100% rename from src/test/should_work/NONREG/compteur.lus rename to tests/should_work/NONREG/compteur.lus diff --git a/src/test/should_work/NONREG/count.lus b/tests/should_work/NONREG/count.lus similarity index 100% rename from src/test/should_work/NONREG/count.lus rename to tests/should_work/NONREG/count.lus diff --git a/src/test/should_work/NONREG/cpt.lus b/tests/should_work/NONREG/cpt.lus similarity index 100% rename from src/test/should_work/NONREG/cpt.lus rename to tests/should_work/NONREG/cpt.lus diff --git a/src/test/should_work/NONREG/cst.lus b/tests/should_work/NONREG/cst.lus similarity index 100% rename from src/test/should_work/NONREG/cst.lus rename to tests/should_work/NONREG/cst.lus diff --git a/src/test/should_work/NONREG/deconne.lus b/tests/should_work/NONREG/deconne.lus similarity index 100% rename from src/test/should_work/NONREG/deconne.lus rename to tests/should_work/NONREG/deconne.lus diff --git a/src/test/should_work/NONREG/dep.lus b/tests/should_work/NONREG/dep.lus similarity index 100% rename from src/test/should_work/NONREG/dep.lus rename to tests/should_work/NONREG/dep.lus diff --git a/src/test/should_work/NONREG/dependeur.lus b/tests/should_work/NONREG/dependeur.lus similarity index 100% rename from src/test/should_work/NONREG/dependeur.lus rename to tests/should_work/NONREG/dependeur.lus diff --git a/src/test/should_work/NONREG/dependeur_struct.lus b/tests/should_work/NONREG/dependeur_struct.lus similarity index 100% rename from src/test/should_work/NONREG/dependeur_struct.lus rename to tests/should_work/NONREG/dependeur_struct.lus diff --git a/src/test/should_work/NONREG/drapfab.lus b/tests/should_work/NONREG/drapfab.lus similarity index 100% rename from src/test/should_work/NONREG/drapfab.lus rename to tests/should_work/NONREG/drapfab.lus diff --git a/src/test/should_work/NONREG/enum.lus b/tests/should_work/NONREG/enum.lus similarity index 100% rename from src/test/should_work/NONREG/enum.lus rename to tests/should_work/NONREG/enum.lus diff --git a/src/test/should_work/NONREG/enum0.lus b/tests/should_work/NONREG/enum0.lus similarity index 100% rename from src/test/should_work/NONREG/enum0.lus rename to tests/should_work/NONREG/enum0.lus diff --git a/src/test/should_work/NONREG/eq1.lus b/tests/should_work/NONREG/eq1.lus similarity index 100% rename from src/test/should_work/NONREG/eq1.lus rename to tests/should_work/NONREG/eq1.lus diff --git a/src/test/should_work/NONREG/ex.lus b/tests/should_work/NONREG/ex.lus similarity index 100% rename from src/test/should_work/NONREG/ex.lus rename to tests/should_work/NONREG/ex.lus diff --git a/src/test/should_work/NONREG/exclusion.lus b/tests/should_work/NONREG/exclusion.lus similarity index 100% rename from src/test/should_work/NONREG/exclusion.lus rename to tests/should_work/NONREG/exclusion.lus diff --git a/src/test/should_work/NONREG/fby.lus b/tests/should_work/NONREG/fby.lus similarity index 100% rename from src/test/should_work/NONREG/fby.lus rename to tests/should_work/NONREG/fby.lus diff --git a/src/test/should_work/NONREG/flo.lus b/tests/should_work/NONREG/flo.lus similarity index 100% rename from src/test/should_work/NONREG/flo.lus rename to tests/should_work/NONREG/flo.lus diff --git a/src/test/should_work/NONREG/fresh_name.lus b/tests/should_work/NONREG/fresh_name.lus similarity index 100% rename from src/test/should_work/NONREG/fresh_name.lus rename to tests/should_work/NONREG/fresh_name.lus diff --git a/src/test/should_work/NONREG/hanane.lus b/tests/should_work/NONREG/hanane.lus similarity index 100% rename from src/test/should_work/NONREG/hanane.lus rename to tests/should_work/NONREG/hanane.lus diff --git a/src/test/should_work/NONREG/impl_priority.lus b/tests/should_work/NONREG/impl_priority.lus similarity index 100% rename from src/test/should_work/NONREG/impl_priority.lus rename to tests/should_work/NONREG/impl_priority.lus diff --git a/src/test/should_work/NONREG/import1.lus b/tests/should_work/NONREG/import1.lus similarity index 100% rename from src/test/should_work/NONREG/import1.lus rename to tests/should_work/NONREG/import1.lus diff --git a/src/test/should_work/NONREG/initial.lus b/tests/should_work/NONREG/initial.lus similarity index 100% rename from src/test/should_work/NONREG/initial.lus rename to tests/should_work/NONREG/initial.lus diff --git a/src/test/should_work/NONREG/integrator.lus b/tests/should_work/NONREG/integrator.lus similarity index 100% rename from src/test/should_work/NONREG/integrator.lus rename to tests/should_work/NONREG/integrator.lus diff --git a/src/test/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 src/test/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/src/test/should_work/NONREG/merge.lus b/tests/should_work/NONREG/merge.lus similarity index 100% rename from src/test/should_work/NONREG/merge.lus rename to tests/should_work/NONREG/merge.lus diff --git a/src/test/should_work/NONREG/minmax1.lus b/tests/should_work/NONREG/minmax1.lus similarity index 100% rename from src/test/should_work/NONREG/minmax1.lus rename to tests/should_work/NONREG/minmax1.lus diff --git a/src/test/should_work/NONREG/minmax2.lus b/tests/should_work/NONREG/minmax2.lus similarity index 100% rename from src/test/should_work/NONREG/minmax2.lus rename to tests/should_work/NONREG/minmax2.lus diff --git a/src/test/should_work/NONREG/minmax3.lus b/tests/should_work/NONREG/minmax3.lus similarity index 100% rename from src/test/should_work/NONREG/minmax3.lus rename to tests/should_work/NONREG/minmax3.lus diff --git a/src/test/should_work/NONREG/minmax4.lus b/tests/should_work/NONREG/minmax4.lus similarity index 100% rename from src/test/should_work/NONREG/minmax4.lus rename to tests/should_work/NONREG/minmax4.lus diff --git a/src/test/should_work/NONREG/minmax4_bis.lus b/tests/should_work/NONREG/minmax4_bis.lus similarity index 100% rename from src/test/should_work/NONREG/minmax4_bis.lus rename to tests/should_work/NONREG/minmax4_bis.lus diff --git a/src/test/should_work/NONREG/minmax5.lus b/tests/should_work/NONREG/minmax5.lus similarity index 100% rename from src/test/should_work/NONREG/minmax5.lus rename to tests/should_work/NONREG/minmax5.lus diff --git a/src/test/should_work/NONREG/minmax5_random.lus b/tests/should_work/NONREG/minmax5_random.lus similarity index 100% rename from src/test/should_work/NONREG/minmax5_random.lus rename to tests/should_work/NONREG/minmax5_random.lus diff --git a/src/test/should_work/NONREG/minmax6.lus b/tests/should_work/NONREG/minmax6.lus similarity index 100% rename from src/test/should_work/NONREG/minmax6.lus rename to tests/should_work/NONREG/minmax6.lus diff --git a/src/test/should_work/NONREG/mm.lus b/tests/should_work/NONREG/mm.lus similarity index 100% rename from src/test/should_work/NONREG/mm.lus rename to tests/should_work/NONREG/mm.lus diff --git a/src/test/should_work/NONREG/mm1.lus b/tests/should_work/NONREG/mm1.lus similarity index 100% rename from src/test/should_work/NONREG/mm1.lus rename to tests/should_work/NONREG/mm1.lus diff --git a/src/test/should_work/NONREG/mm22.lus b/tests/should_work/NONREG/mm22.lus similarity index 100% rename from src/test/should_work/NONREG/mm22.lus rename to tests/should_work/NONREG/mm22.lus diff --git a/src/test/should_work/NONREG/mm3.lus b/tests/should_work/NONREG/mm3.lus similarity index 100% rename from src/test/should_work/NONREG/mm3.lus rename to tests/should_work/NONREG/mm3.lus diff --git a/src/test/should_work/NONREG/model.lus b/tests/should_work/NONREG/model.lus similarity index 100% rename from src/test/should_work/NONREG/model.lus rename to tests/should_work/NONREG/model.lus diff --git a/src/test/should_work/NONREG/model2.lus b/tests/should_work/NONREG/model2.lus similarity index 100% rename from src/test/should_work/NONREG/model2.lus rename to tests/should_work/NONREG/model2.lus diff --git a/src/test/should_work/NONREG/mouse.lus b/tests/should_work/NONREG/mouse.lus similarity index 100% rename from src/test/should_work/NONREG/mouse.lus rename to tests/should_work/NONREG/mouse.lus diff --git a/src/test/should_work/NONREG/mouse1.lus b/tests/should_work/NONREG/mouse1.lus similarity index 100% rename from src/test/should_work/NONREG/mouse1.lus rename to tests/should_work/NONREG/mouse1.lus diff --git a/src/test/should_work/NONREG/mouse2.lus b/tests/should_work/NONREG/mouse2.lus similarity index 100% rename from src/test/should_work/NONREG/mouse2.lus rename to tests/should_work/NONREG/mouse2.lus diff --git a/src/test/should_work/NONREG/mouse3.lus b/tests/should_work/NONREG/mouse3.lus similarity index 100% rename from src/test/should_work/NONREG/mouse3.lus rename to tests/should_work/NONREG/mouse3.lus diff --git a/src/test/should_work/NONREG/multiclock.lus b/tests/should_work/NONREG/multiclock.lus similarity index 100% rename from src/test/should_work/NONREG/multiclock.lus rename to tests/should_work/NONREG/multiclock.lus diff --git a/src/test/should_work/NONREG/nc1.lus b/tests/should_work/NONREG/nc1.lus similarity index 100% rename from src/test/should_work/NONREG/nc1.lus rename to tests/should_work/NONREG/nc1.lus diff --git a/src/test/should_work/NONREG/nc10.lus b/tests/should_work/NONREG/nc10.lus similarity index 100% rename from src/test/should_work/NONREG/nc10.lus rename to tests/should_work/NONREG/nc10.lus diff --git a/src/test/should_work/NONREG/nc2.lus b/tests/should_work/NONREG/nc2.lus similarity index 100% rename from src/test/should_work/NONREG/nc2.lus rename to tests/should_work/NONREG/nc2.lus diff --git a/src/test/should_work/NONREG/nc3.lus b/tests/should_work/NONREG/nc3.lus similarity index 100% rename from src/test/should_work/NONREG/nc3.lus rename to tests/should_work/NONREG/nc3.lus diff --git a/src/test/should_work/NONREG/nc4.lus b/tests/should_work/NONREG/nc4.lus similarity index 100% rename from src/test/should_work/NONREG/nc4.lus rename to tests/should_work/NONREG/nc4.lus diff --git a/src/test/should_work/NONREG/nc5.lus b/tests/should_work/NONREG/nc5.lus similarity index 100% rename from src/test/should_work/NONREG/nc5.lus rename to tests/should_work/NONREG/nc5.lus diff --git a/src/test/should_work/NONREG/nc6.lus b/tests/should_work/NONREG/nc6.lus similarity index 100% rename from src/test/should_work/NONREG/nc6.lus rename to tests/should_work/NONREG/nc6.lus diff --git a/src/test/should_work/NONREG/nc7.lus b/tests/should_work/NONREG/nc7.lus similarity index 100% rename from src/test/should_work/NONREG/nc7.lus rename to tests/should_work/NONREG/nc7.lus diff --git a/src/test/should_work/NONREG/nc8.lus b/tests/should_work/NONREG/nc8.lus similarity index 100% rename from src/test/should_work/NONREG/nc8.lus rename to tests/should_work/NONREG/nc8.lus diff --git a/src/test/should_work/NONREG/nc9.lus b/tests/should_work/NONREG/nc9.lus similarity index 100% rename from src/test/should_work/NONREG/nc9.lus rename to tests/should_work/NONREG/nc9.lus diff --git a/src/test/should_work/NONREG/nested.lus b/tests/should_work/NONREG/nested.lus similarity index 100% rename from src/test/should_work/NONREG/nested.lus rename to tests/should_work/NONREG/nested.lus diff --git a/src/test/should_work/NONREG/node_caller1.lus b/tests/should_work/NONREG/node_caller1.lus similarity index 100% rename from src/test/should_work/NONREG/node_caller1.lus rename to tests/should_work/NONREG/node_caller1.lus diff --git a/src/test/should_work/NONREG/o2l_feux_compl.lus b/tests/should_work/NONREG/o2l_feux_compl.lus similarity index 100% rename from src/test/should_work/NONREG/o2l_feux_compl.lus rename to tests/should_work/NONREG/o2l_feux_compl.lus diff --git a/src/test/should_work/NONREG/packed_cst.lus b/tests/should_work/NONREG/packed_cst.lus similarity index 100% rename from src/test/should_work/NONREG/packed_cst.lus rename to tests/should_work/NONREG/packed_cst.lus diff --git a/src/test/should_work/NONREG/param_node.lus b/tests/should_work/NONREG/param_node.lus similarity index 100% rename from src/test/should_work/NONREG/param_node.lus rename to tests/should_work/NONREG/param_node.lus diff --git a/src/test/should_work/NONREG/param_node2.lus b/tests/should_work/NONREG/param_node2.lus similarity index 100% rename from src/test/should_work/NONREG/param_node2.lus rename to tests/should_work/NONREG/param_node2.lus diff --git a/src/test/should_work/NONREG/param_node3.lus b/tests/should_work/NONREG/param_node3.lus similarity index 100% rename from src/test/should_work/NONREG/param_node3.lus rename to tests/should_work/NONREG/param_node3.lus diff --git a/src/test/should_work/NONREG/param_node4.lus b/tests/should_work/NONREG/param_node4.lus similarity index 100% rename from src/test/should_work/NONREG/param_node4.lus rename to tests/should_work/NONREG/param_node4.lus diff --git a/src/test/should_work/NONREG/param_struct.lus b/tests/should_work/NONREG/param_struct.lus similarity index 100% rename from src/test/should_work/NONREG/param_struct.lus rename to tests/should_work/NONREG/param_struct.lus diff --git a/src/test/should_work/NONREG/patrick.lus b/tests/should_work/NONREG/patrick.lus similarity index 100% rename from src/test/should_work/NONREG/patrick.lus rename to tests/should_work/NONREG/patrick.lus diff --git a/src/test/should_work/NONREG/poussoir.lus b/tests/should_work/NONREG/poussoir.lus similarity index 100% rename from src/test/should_work/NONREG/poussoir.lus rename to tests/should_work/NONREG/poussoir.lus diff --git a/src/test/should_work/NONREG/rs.lus b/tests/should_work/NONREG/rs.lus similarity index 100% rename from src/test/should_work/NONREG/rs.lus rename to tests/should_work/NONREG/rs.lus diff --git a/src/test/should_work/NONREG/s.lus b/tests/should_work/NONREG/s.lus similarity index 100% rename from src/test/should_work/NONREG/s.lus rename to tests/should_work/NONREG/s.lus diff --git a/src/test/should_work/NONREG/simple.lus b/tests/should_work/NONREG/simple.lus similarity index 100% rename from src/test/should_work/NONREG/simple.lus rename to tests/should_work/NONREG/simple.lus diff --git a/src/test/should_work/NONREG/sincos.lus b/tests/should_work/NONREG/sincos.lus similarity index 100% rename from src/test/should_work/NONREG/sincos.lus rename to tests/should_work/NONREG/sincos.lus diff --git a/src/test/should_work/NONREG/speedcontrol.lus b/tests/should_work/NONREG/speedcontrol.lus similarity index 100% rename from src/test/should_work/NONREG/speedcontrol.lus rename to tests/should_work/NONREG/speedcontrol.lus diff --git a/src/test/should_work/NONREG/stopwatch.lus b/tests/should_work/NONREG/stopwatch.lus similarity index 100% rename from src/test/should_work/NONREG/stopwatch.lus rename to tests/should_work/NONREG/stopwatch.lus diff --git a/src/test/should_work/NONREG/test.exp b/tests/should_work/NONREG/test.exp similarity index 100% rename from src/test/should_work/NONREG/test.exp rename to tests/should_work/NONREG/test.exp diff --git a/src/test/should_work/NONREG/test.res b/tests/should_work/NONREG/test.res similarity index 100% rename from src/test/should_work/NONREG/test.res rename to tests/should_work/NONREG/test.res diff --git a/src/test/should_work/NONREG/testCA.lus b/tests/should_work/NONREG/testCA.lus similarity index 100% rename from src/test/should_work/NONREG/testCA.lus rename to tests/should_work/NONREG/testCA.lus diff --git a/src/test/should_work/NONREG/test_clash.lus b/tests/should_work/NONREG/test_clash.lus similarity index 100% rename from src/test/should_work/NONREG/test_clash.lus rename to tests/should_work/NONREG/test_clash.lus diff --git a/src/test/should_work/NONREG/test_const.lus b/tests/should_work/NONREG/test_const.lus similarity index 100% rename from src/test/should_work/NONREG/test_const.lus rename to tests/should_work/NONREG/test_const.lus diff --git a/src/test/should_work/NONREG/test_node_expand.lus b/tests/should_work/NONREG/test_node_expand.lus similarity index 100% rename from src/test/should_work/NONREG/test_node_expand.lus rename to tests/should_work/NONREG/test_node_expand.lus diff --git a/src/test/should_work/NONREG/test_node_expand2.lus b/tests/should_work/NONREG/test_node_expand2.lus similarity index 100% rename from src/test/should_work/NONREG/test_node_expand2.lus rename to tests/should_work/NONREG/test_node_expand2.lus diff --git a/src/test/should_work/NONREG/trivial.lus b/tests/should_work/NONREG/trivial.lus similarity index 100% rename from src/test/should_work/NONREG/trivial.lus rename to tests/should_work/NONREG/trivial.lus diff --git a/src/test/should_work/NONREG/trivial2.lus b/tests/should_work/NONREG/trivial2.lus similarity index 100% rename from src/test/should_work/NONREG/trivial2.lus rename to tests/should_work/NONREG/trivial2.lus diff --git a/src/test/should_work/NONREG/tuple.lus b/tests/should_work/NONREG/tuple.lus similarity index 100% rename from src/test/should_work/NONREG/tuple.lus rename to tests/should_work/NONREG/tuple.lus diff --git a/src/test/should_work/NONREG/type_decl.lus b/tests/should_work/NONREG/type_decl.lus similarity index 100% rename from src/test/should_work/NONREG/type_decl.lus rename to tests/should_work/NONREG/type_decl.lus diff --git a/src/test/should_work/NONREG/uu.lus b/tests/should_work/NONREG/uu.lus similarity index 100% rename from src/test/should_work/NONREG/uu.lus rename to tests/should_work/NONREG/uu.lus diff --git a/src/test/should_work/NONREG/v1.lus b/tests/should_work/NONREG/v1.lus similarity index 100% rename from src/test/should_work/NONREG/v1.lus rename to tests/should_work/NONREG/v1.lus diff --git a/src/test/should_work/Pascal/access.lus b/tests/should_work/Pascal/access.lus similarity index 100% rename from src/test/should_work/Pascal/access.lus rename to tests/should_work/Pascal/access.lus diff --git a/src/test/should_work/Pascal/consensus.lus b/tests/should_work/Pascal/consensus.lus similarity index 100% rename from src/test/should_work/Pascal/consensus.lus rename to tests/should_work/Pascal/consensus.lus diff --git a/src/test/should_work/Pascal/consensus2.lus b/tests/should_work/Pascal/consensus2.lus similarity index 100% rename from src/test/should_work/Pascal/consensus2.lus rename to tests/should_work/Pascal/consensus2.lus diff --git a/src/test/should_work/Pascal/fby.lus b/tests/should_work/Pascal/fby.lus similarity index 100% rename from src/test/should_work/Pascal/fby.lus rename to tests/should_work/Pascal/fby.lus diff --git a/src/test/should_work/Pascal/func_with_body.lus b/tests/should_work/Pascal/func_with_body.lus similarity index 100% rename from src/test/should_work/Pascal/func_with_body.lus rename to tests/should_work/Pascal/func_with_body.lus diff --git a/src/test/should_work/Pascal/heater_control.lus b/tests/should_work/Pascal/heater_control.lus similarity index 100% rename from src/test/should_work/Pascal/heater_control.lus rename to tests/should_work/Pascal/heater_control.lus diff --git a/src/test/should_work/Pascal/left.lus b/tests/should_work/Pascal/left.lus similarity index 100% rename from src/test/should_work/Pascal/left.lus rename to tests/should_work/Pascal/left.lus diff --git a/src/test/should_work/Pascal/newpacks.lus b/tests/should_work/Pascal/newpacks.lus similarity index 100% rename from src/test/should_work/Pascal/newpacks.lus rename to tests/should_work/Pascal/newpacks.lus diff --git a/src/test/should_work/Pascal/onlyroll.lus b/tests/should_work/Pascal/onlyroll.lus similarity index 100% rename from src/test/should_work/Pascal/onlyroll.lus rename to tests/should_work/Pascal/onlyroll.lus diff --git a/src/test/should_work/Pascal/p.lus b/tests/should_work/Pascal/p.lus similarity index 100% rename from src/test/should_work/Pascal/p.lus rename to tests/should_work/Pascal/p.lus diff --git a/src/test/should_work/Pascal/packs.lus b/tests/should_work/Pascal/packs.lus similarity index 100% rename from src/test/should_work/Pascal/packs.lus rename to tests/should_work/Pascal/packs.lus diff --git a/src/test/should_work/Pascal/pfs.lus b/tests/should_work/Pascal/pfs.lus similarity index 100% rename from src/test/should_work/Pascal/pfs.lus rename to tests/should_work/Pascal/pfs.lus diff --git a/src/test/should_work/Pascal/struct.lus b/tests/should_work/Pascal/struct.lus similarity index 100% rename from src/test/should_work/Pascal/struct.lus rename to tests/should_work/Pascal/struct.lus diff --git a/src/test/should_work/Pascal/struct0.lus b/tests/should_work/Pascal/struct0.lus similarity index 100% rename from src/test/should_work/Pascal/struct0.lus rename to tests/should_work/Pascal/struct0.lus diff --git a/src/test/should_work/Pascal/t.lus b/tests/should_work/Pascal/t.lus similarity index 100% rename from src/test/should_work/Pascal/t.lus rename to tests/should_work/Pascal/t.lus diff --git a/src/test/should_work/Pascal/t0.lus b/tests/should_work/Pascal/t0.lus similarity index 100% rename from src/test/should_work/Pascal/t0.lus rename to tests/should_work/Pascal/t0.lus diff --git a/src/test/should_work/Pascal/t1.lus b/tests/should_work/Pascal/t1.lus similarity index 100% rename from src/test/should_work/Pascal/t1.lus rename to tests/should_work/Pascal/t1.lus diff --git a/src/test/should_work/Pascal/t2.lus b/tests/should_work/Pascal/t2.lus similarity index 100% rename from src/test/should_work/Pascal/t2.lus rename to tests/should_work/Pascal/t2.lus diff --git a/src/test/should_work/Pascal/test.lus b/tests/should_work/Pascal/test.lus similarity index 100% rename from src/test/should_work/Pascal/test.lus rename to tests/should_work/Pascal/test.lus diff --git a/src/test/should_work/Pascal/trivial.lus b/tests/should_work/Pascal/trivial.lus similarity index 100% rename from src/test/should_work/Pascal/trivial.lus rename to tests/should_work/Pascal/trivial.lus diff --git a/src/test/should_work/call/bad_call02.lus b/tests/should_work/call/bad_call02.lus similarity index 100% rename from src/test/should_work/call/bad_call02.lus rename to tests/should_work/call/bad_call02.lus diff --git a/src/test/should_work/call/call01.lus b/tests/should_work/call/call01.lus similarity index 100% rename from src/test/should_work/call/call01.lus rename to tests/should_work/call/call01.lus diff --git a/src/test/should_work/call/call02.lus b/tests/should_work/call/call02.lus similarity index 100% rename from src/test/should_work/call/call02.lus rename to tests/should_work/call/call02.lus diff --git a/src/test/should_work/call/call03.lus b/tests/should_work/call/call03.lus similarity index 100% rename from src/test/should_work/call/call03.lus rename to tests/should_work/call/call03.lus diff --git a/src/test/should_work/call/call04.lus b/tests/should_work/call/call04.lus similarity index 100% rename from src/test/should_work/call/call04.lus rename to tests/should_work/call/call04.lus diff --git a/src/test/should_work/call/call05.lus b/tests/should_work/call/call05.lus similarity index 100% rename from src/test/should_work/call/call05.lus rename to tests/should_work/call/call05.lus diff --git a/src/test/should_work/call/call06.lus b/tests/should_work/call/call06.lus similarity index 100% rename from src/test/should_work/call/call06.lus rename to tests/should_work/call/call06.lus diff --git a/src/test/should_work/call/call07.lus b/tests/should_work/call/call07.lus similarity index 100% rename from src/test/should_work/call/call07.lus rename to tests/should_work/call/call07.lus diff --git a/src/test/should_work/clock/clock.lus b/tests/should_work/clock/clock.lus similarity index 100% rename from src/test/should_work/clock/clock.lus rename to tests/should_work/clock/clock.lus diff --git a/src/test/should_work/clock/clock2.lus b/tests/should_work/clock/clock2.lus similarity index 100% rename from src/test/should_work/clock/clock2.lus rename to tests/should_work/clock/clock2.lus diff --git a/src/test/should_work/clock/clock_ite.lus b/tests/should_work/clock/clock_ite.lus similarity index 100% rename from src/test/should_work/clock/clock_ite.lus rename to tests/should_work/clock/clock_ite.lus diff --git a/src/test/should_work/clock/when_enum.lus b/tests/should_work/clock/when_enum.lus similarity index 100% rename from src/test/should_work/clock/when_enum.lus rename to tests/should_work/clock/when_enum.lus diff --git a/src/test/should_work/clock/when_node.lus b/tests/should_work/clock/when_node.lus similarity index 100% rename from src/test/should_work/clock/when_node.lus rename to tests/should_work/clock/when_node.lus diff --git a/src/test/should_work/clock/when_not.lus b/tests/should_work/clock/when_not.lus similarity index 100% rename from src/test/should_work/clock/when_not.lus rename to tests/should_work/clock/when_not.lus diff --git a/src/test/should_work/clock/when_tuple.lus b/tests/should_work/clock/when_tuple.lus similarity index 100% rename from src/test/should_work/clock/when_tuple.lus rename to tests/should_work/clock/when_tuple.lus diff --git a/src/test/should_work/demo/Gyroscope2.lus b/tests/should_work/demo/Gyroscope2.lus similarity index 100% rename from src/test/should_work/demo/Gyroscope2.lus rename to tests/should_work/demo/Gyroscope2.lus diff --git a/src/test/should_work/demo/alias.lus b/tests/should_work/demo/alias.lus similarity index 100% rename from src/test/should_work/demo/alias.lus rename to tests/should_work/demo/alias.lus diff --git a/src/test/should_work/demo/bred.lus b/tests/should_work/demo/bred.lus similarity index 100% rename from src/test/should_work/demo/bred.lus rename to tests/should_work/demo/bred.lus diff --git a/src/test/should_work/demo/bred_lv4.lus b/tests/should_work/demo/bred_lv4.lus similarity index 100% rename from src/test/should_work/demo/bred_lv4.lus rename to tests/should_work/demo/bred_lv4.lus diff --git a/src/test/should_work/demo/clock.lus b/tests/should_work/demo/clock.lus similarity index 100% rename from src/test/should_work/demo/clock.lus rename to tests/should_work/demo/clock.lus diff --git a/src/test/should_work/demo/clock1_2ms.lus b/tests/should_work/demo/clock1_2ms.lus similarity index 100% rename from src/test/should_work/demo/clock1_2ms.lus rename to tests/should_work/demo/clock1_2ms.lus diff --git a/src/test/should_work/demo/decl.lus b/tests/should_work/demo/decl.lus similarity index 100% rename from src/test/should_work/demo/decl.lus rename to tests/should_work/demo/decl.lus diff --git a/src/test/should_work/demo/declaration.lus b/tests/should_work/demo/declaration.lus similarity index 100% rename from src/test/should_work/demo/declaration.lus rename to tests/should_work/demo/declaration.lus diff --git a/src/test/should_work/demo/def.lus b/tests/should_work/demo/def.lus similarity index 100% rename from src/test/should_work/demo/def.lus rename to tests/should_work/demo/def.lus diff --git a/src/test/should_work/demo/filliter.lus b/tests/should_work/demo/filliter.lus similarity index 100% rename from src/test/should_work/demo/filliter.lus rename to tests/should_work/demo/filliter.lus diff --git a/src/test/should_work/demo/filter.lus b/tests/should_work/demo/filter.lus similarity index 100% rename from src/test/should_work/demo/filter.lus rename to tests/should_work/demo/filter.lus diff --git a/src/test/should_work/demo/lustre_test1_ok.lus b/tests/should_work/demo/lustre_test1_ok.lus similarity index 100% rename from src/test/should_work/demo/lustre_test1_ok.lus rename to tests/should_work/demo/lustre_test1_ok.lus diff --git a/src/test/should_work/demo/map_red_iter.lus b/tests/should_work/demo/map_red_iter.lus similarity index 100% rename from src/test/should_work/demo/map_red_iter.lus rename to tests/should_work/demo/map_red_iter.lus diff --git a/src/test/should_work/demo/mapdeRed.lus b/tests/should_work/demo/mapdeRed.lus similarity index 100% rename from src/test/should_work/demo/mapdeRed.lus rename to tests/should_work/demo/mapdeRed.lus diff --git a/src/test/should_work/demo/mapinf.lus b/tests/should_work/demo/mapinf.lus similarity index 100% rename from src/test/should_work/demo/mapinf.lus rename to tests/should_work/demo/mapinf.lus diff --git a/src/test/should_work/demo/mapiter.lus b/tests/should_work/demo/mapiter.lus similarity index 100% rename from src/test/should_work/demo/mapiter.lus rename to tests/should_work/demo/mapiter.lus diff --git a/src/test/should_work/demo/mappredef.lus b/tests/should_work/demo/mappredef.lus similarity index 100% rename from src/test/should_work/demo/mappredef.lus rename to tests/should_work/demo/mappredef.lus diff --git a/src/test/should_work/demo/plus.lus b/tests/should_work/demo/plus.lus similarity index 100% rename from src/test/should_work/demo/plus.lus rename to tests/should_work/demo/plus.lus diff --git a/src/test/should_work/demo/pre_x.lus b/tests/should_work/demo/pre_x.lus similarity index 100% rename from src/test/should_work/demo/pre_x.lus rename to tests/should_work/demo/pre_x.lus diff --git a/src/test/should_work/demo/rediter.lus b/tests/should_work/demo/rediter.lus similarity index 100% rename from src/test/should_work/demo/rediter.lus rename to tests/should_work/demo/rediter.lus diff --git a/src/test/should_work/demo/redoptest.lus b/tests/should_work/demo/redoptest.lus similarity index 100% rename from src/test/should_work/demo/redoptest.lus rename to tests/should_work/demo/redoptest.lus diff --git a/src/test/should_work/demo/sample_time_change.lus b/tests/should_work/demo/sample_time_change.lus similarity index 100% rename from src/test/should_work/demo/sample_time_change.lus rename to tests/should_work/demo/sample_time_change.lus diff --git a/src/test/should_work/demo/test.exp b/tests/should_work/demo/test.exp similarity index 100% rename from src/test/should_work/demo/test.exp rename to tests/should_work/demo/test.exp diff --git a/src/test/should_work/fab_test/bob.lus b/tests/should_work/fab_test/bob.lus similarity index 100% rename from src/test/should_work/fab_test/bob.lus rename to tests/should_work/fab_test/bob.lus diff --git a/src/test/should_work/fab_test/def.lus b/tests/should_work/fab_test/def.lus similarity index 100% rename from src/test/should_work/fab_test/def.lus rename to tests/should_work/fab_test/def.lus diff --git a/src/test/should_work/fab_test/ex.lus b/tests/should_work/fab_test/ex.lus similarity index 100% rename from src/test/should_work/fab_test/ex.lus rename to tests/should_work/fab_test/ex.lus diff --git a/src/test/should_work/fab_test/iter.lus b/tests/should_work/fab_test/iter.lus similarity index 100% rename from src/test/should_work/fab_test/iter.lus rename to tests/should_work/fab_test/iter.lus diff --git a/src/test/should_work/fab_test/iterate.lus b/tests/should_work/fab_test/iterate.lus similarity index 100% rename from src/test/should_work/fab_test/iterate.lus rename to tests/should_work/fab_test/iterate.lus diff --git a/src/test/should_work/fab_test/iterate.trace b/tests/should_work/fab_test/iterate.trace similarity index 100% rename from src/test/should_work/fab_test/iterate.trace rename to tests/should_work/fab_test/iterate.trace diff --git a/src/test/should_work/fab_test/iterate_var.trace b/tests/should_work/fab_test/iterate_var.trace similarity index 100% rename from src/test/should_work/fab_test/iterate_var.trace rename to tests/should_work/fab_test/iterate_var.trace diff --git a/src/test/should_work/fab_test/lecteur.lus b/tests/should_work/fab_test/lecteur.lus similarity index 100% rename from src/test/should_work/fab_test/lecteur.lus rename to tests/should_work/fab_test/lecteur.lus diff --git a/src/test/should_work/fab_test/lucky.lus b/tests/should_work/fab_test/lucky.lus similarity index 100% rename from src/test/should_work/fab_test/lucky.lus rename to tests/should_work/fab_test/lucky.lus diff --git a/src/test/should_work/fab_test/morel.lus b/tests/should_work/fab_test/morel.lus similarity index 100% rename from src/test/should_work/fab_test/morel.lus rename to tests/should_work/fab_test/morel.lus diff --git a/src/test/should_work/fab_test/morel2.lus b/tests/should_work/fab_test/morel2.lus similarity index 100% rename from src/test/should_work/fab_test/morel2.lus rename to tests/should_work/fab_test/morel2.lus diff --git a/src/test/should_work/fab_test/morel3.lus b/tests/should_work/fab_test/morel3.lus similarity index 100% rename from src/test/should_work/fab_test/morel3.lus rename to tests/should_work/fab_test/morel3.lus diff --git a/src/test/should_work/fab_test/morel4.lus b/tests/should_work/fab_test/morel4.lus similarity index 100% rename from src/test/should_work/fab_test/morel4.lus rename to tests/should_work/fab_test/morel4.lus diff --git a/src/test/should_work/fab_test/morel5.lus b/tests/should_work/fab_test/morel5.lus similarity index 100% rename from src/test/should_work/fab_test/morel5.lus rename to tests/should_work/fab_test/morel5.lus diff --git a/src/test/should_work/fab_test/noAlarm.lus b/tests/should_work/fab_test/noAlarm.lus similarity index 100% rename from src/test/should_work/fab_test/noAlarm.lus rename to tests/should_work/fab_test/noAlarm.lus diff --git a/src/test/should_work/fab_test/notTwo.lus b/tests/should_work/fab_test/notTwo.lus similarity index 100% rename from src/test/should_work/fab_test/notTwo.lus rename to tests/should_work/fab_test/notTwo.lus diff --git a/src/test/should_work/fab_test/onlyroll.lus b/tests/should_work/fab_test/onlyroll.lus similarity index 100% rename from src/test/should_work/fab_test/onlyroll.lus rename to tests/should_work/fab_test/onlyroll.lus diff --git a/src/test/should_work/fab_test/onlyroll2.lus b/tests/should_work/fab_test/onlyroll2.lus similarity index 100% rename from src/test/should_work/fab_test/onlyroll2.lus rename to tests/should_work/fab_test/onlyroll2.lus diff --git a/src/test/should_work/fab_test/test.exp b/tests/should_work/fab_test/test.exp similarity index 100% rename from src/test/should_work/fab_test/test.exp rename to tests/should_work/fab_test/test.exp diff --git a/src/test/should_work/fab_test/test.lus b/tests/should_work/fab_test/test.lus similarity index 100% rename from src/test/should_work/fab_test/test.lus rename to tests/should_work/fab_test/test.lus diff --git a/src/test/should_work/fab_test/test.res b/tests/should_work/fab_test/test.res similarity index 100% rename from src/test/should_work/fab_test/test.res rename to tests/should_work/fab_test/test.res diff --git a/src/test/should_work/fab_test/titi.lus b/tests/should_work/fab_test/titi.lus similarity index 100% rename from src/test/should_work/fab_test/titi.lus rename to tests/should_work/fab_test/titi.lus diff --git a/src/test/should_work/fab_test/toolate.lus b/tests/should_work/fab_test/toolate.lus similarity index 100% rename from src/test/should_work/fab_test/toolate.lus rename to tests/should_work/fab_test/toolate.lus diff --git a/src/test/should_work/fab_test/toto.lus b/tests/should_work/fab_test/toto.lus similarity index 100% rename from src/test/should_work/fab_test/toto.lus rename to tests/should_work/fab_test/toto.lus diff --git a/src/test/should_work/lionel/FillFollowedByRed.lus b/tests/should_work/lionel/FillFollowedByRed.lus similarity index 100% rename from src/test/should_work/lionel/FillFollowedByRed.lus rename to tests/should_work/lionel/FillFollowedByRed.lus diff --git a/src/test/should_work/lionel/Gyroscope.lus b/tests/should_work/lionel/Gyroscope.lus similarity index 100% rename from src/test/should_work/lionel/Gyroscope.lus rename to tests/should_work/lionel/Gyroscope.lus diff --git a/src/test/should_work/lionel/ProduitBool/produitBool.lus b/tests/should_work/lionel/ProduitBool/produitBool.lus similarity index 100% rename from src/test/should_work/lionel/ProduitBool/produitBool.lus rename to tests/should_work/lionel/ProduitBool/produitBool.lus diff --git a/src/test/should_work/lionel/ProduitBool/shiftFill_ludic.lus b/tests/should_work/lionel/ProduitBool/shiftFill_ludic.lus similarity index 100% rename from src/test/should_work/lionel/ProduitBool/shiftFill_ludic.lus rename to tests/should_work/lionel/ProduitBool/shiftFill_ludic.lus diff --git a/src/test/should_work/lionel/ProduitBool/shift_ludic.lus b/tests/should_work/lionel/ProduitBool/shift_ludic.lus similarity index 100% rename from src/test/should_work/lionel/ProduitBool/shift_ludic.lus rename to tests/should_work/lionel/ProduitBool/shift_ludic.lus diff --git a/src/test/should_work/lionel/arrays.lus b/tests/should_work/lionel/arrays.lus similarity index 100% rename from src/test/should_work/lionel/arrays.lus rename to tests/should_work/lionel/arrays.lus diff --git a/src/test/should_work/lionel/bug.lus b/tests/should_work/lionel/bug.lus similarity index 100% rename from src/test/should_work/lionel/bug.lus rename to tests/should_work/lionel/bug.lus diff --git a/src/test/should_work/lionel/calculs_max.lus b/tests/should_work/lionel/calculs_max.lus similarity index 100% rename from src/test/should_work/lionel/calculs_max.lus rename to tests/should_work/lionel/calculs_max.lus diff --git a/src/test/should_work/lionel/clock.lus b/tests/should_work/lionel/clock.lus similarity index 100% rename from src/test/should_work/lionel/clock.lus rename to tests/should_work/lionel/clock.lus diff --git a/src/test/should_work/lionel/deSimone.lus b/tests/should_work/lionel/deSimone.lus similarity index 100% rename from src/test/should_work/lionel/deSimone.lus rename to tests/should_work/lionel/deSimone.lus diff --git a/src/test/should_work/lionel/iterFibo.lus b/tests/should_work/lionel/iterFibo.lus similarity index 100% rename from src/test/should_work/lionel/iterFibo.lus rename to tests/should_work/lionel/iterFibo.lus diff --git a/src/test/should_work/lionel/mapiter.lus b/tests/should_work/lionel/mapiter.lus similarity index 100% rename from src/test/should_work/lionel/mapiter.lus rename to tests/should_work/lionel/mapiter.lus diff --git a/src/test/should_work/lionel/matrice.lus b/tests/should_work/lionel/matrice.lus similarity index 100% rename from src/test/should_work/lionel/matrice.lus rename to tests/should_work/lionel/matrice.lus diff --git a/src/test/should_work/lionel/matrice2.lus b/tests/should_work/lionel/matrice2.lus similarity index 100% rename from src/test/should_work/lionel/matrice2.lus rename to tests/should_work/lionel/matrice2.lus diff --git a/src/test/should_work/lionel/minus.lus b/tests/should_work/lionel/minus.lus similarity index 100% rename from src/test/should_work/lionel/minus.lus rename to tests/should_work/lionel/minus.lus diff --git a/src/test/should_work/lionel/moyenne.lus b/tests/should_work/lionel/moyenne.lus similarity index 100% rename from src/test/should_work/lionel/moyenne.lus rename to tests/should_work/lionel/moyenne.lus diff --git a/src/test/should_work/lionel/normal.lus b/tests/should_work/lionel/normal.lus similarity index 100% rename from src/test/should_work/lionel/normal.lus rename to tests/should_work/lionel/normal.lus diff --git a/src/test/should_work/lionel/pack1.lus b/tests/should_work/lionel/pack1.lus similarity index 100% rename from src/test/should_work/lionel/pack1.lus rename to tests/should_work/lionel/pack1.lus diff --git a/src/test/should_work/lionel/pipeline.lus b/tests/should_work/lionel/pipeline.lus similarity index 100% rename from src/test/should_work/lionel/pipeline.lus rename to tests/should_work/lionel/pipeline.lus diff --git a/src/test/should_work/lionel/predefOp.lus b/tests/should_work/lionel/predefOp.lus similarity index 100% rename from src/test/should_work/lionel/predefOp.lus rename to tests/should_work/lionel/predefOp.lus diff --git a/src/test/should_work/lionel/redIf.lus b/tests/should_work/lionel/redIf.lus similarity index 100% rename from src/test/should_work/lionel/redIf.lus rename to tests/should_work/lionel/redIf.lus diff --git a/src/test/should_work/lionel/remplissage-1.0.lus b/tests/should_work/lionel/remplissage-1.0.lus similarity index 100% rename from src/test/should_work/lionel/remplissage-1.0.lus rename to tests/should_work/lionel/remplissage-1.0.lus diff --git a/src/test/should_work/lionel/simpleRed.lus b/tests/should_work/lionel/simpleRed.lus similarity index 100% rename from src/test/should_work/lionel/simpleRed.lus rename to tests/should_work/lionel/simpleRed.lus diff --git a/src/test/should_work/lionel/test.exp b/tests/should_work/lionel/test.exp similarity index 100% rename from src/test/should_work/lionel/test.exp rename to tests/should_work/lionel/test.exp diff --git a/src/test/should_work/lionel/testSilus.lus b/tests/should_work/lionel/testSilus.lus similarity index 100% rename from src/test/should_work/lionel/testSilus.lus rename to tests/should_work/lionel/testSilus.lus diff --git a/src/test/should_work/lionel/triSel.lus b/tests/should_work/lionel/triSel.lus similarity index 100% rename from src/test/should_work/lionel/triSel.lus rename to tests/should_work/lionel/triSel.lus diff --git a/src/test/should_work/packEnvTest/Condact.lus b/tests/should_work/packEnvTest/Condact.lus similarity index 100% rename from src/test/should_work/packEnvTest/Condact.lus rename to tests/should_work/packEnvTest/Condact.lus diff --git a/src/test/should_work/packEnvTest/complex.lus b/tests/should_work/packEnvTest/complex.lus similarity index 100% rename from src/test/should_work/packEnvTest/complex.lus rename to tests/should_work/packEnvTest/complex.lus diff --git a/src/test/should_work/packEnvTest/contractForElementSelectionInArray/contractForElementSelectionInArray.lus b/tests/should_work/packEnvTest/contractForElementSelectionInArray/contractForElementSelectionInArray.lus similarity index 100% rename from src/test/should_work/packEnvTest/contractForElementSelectionInArray/contractForElementSelectionInArray.lus rename to tests/should_work/packEnvTest/contractForElementSelectionInArray/contractForElementSelectionInArray.lus diff --git a/src/test/should_work/packEnvTest/contractForElementSelectionInArray/main.lus b/tests/should_work/packEnvTest/contractForElementSelectionInArray/main.lus similarity index 100% rename from src/test/should_work/packEnvTest/contractForElementSelectionInArray/main.lus rename to tests/should_work/packEnvTest/contractForElementSelectionInArray/main.lus diff --git a/src/test/should_work/packEnvTest/contractForElementSelectionInArray/noeudsIndependants.lus b/tests/should_work/packEnvTest/contractForElementSelectionInArray/noeudsIndependants.lus similarity index 100% rename from src/test/should_work/packEnvTest/contractForElementSelectionInArray/noeudsIndependants.lus rename to tests/should_work/packEnvTest/contractForElementSelectionInArray/noeudsIndependants.lus diff --git a/src/test/should_work/packEnvTest/contractForElementSelectionInArray/packageTableau.lus b/tests/should_work/packEnvTest/contractForElementSelectionInArray/packageTableau.lus similarity index 100% rename from src/test/should_work/packEnvTest/contractForElementSelectionInArray/packageTableau.lus rename to tests/should_work/packEnvTest/contractForElementSelectionInArray/packageTableau.lus diff --git a/src/test/should_work/packEnvTest/contractForElementSelectionInArray/tri.lus b/tests/should_work/packEnvTest/contractForElementSelectionInArray/tri.lus similarity index 100% rename from src/test/should_work/packEnvTest/contractForElementSelectionInArray/tri.lus rename to tests/should_work/packEnvTest/contractForElementSelectionInArray/tri.lus diff --git a/src/test/should_work/packEnvTest/iter.lus b/tests/should_work/packEnvTest/iter.lus similarity index 100% rename from src/test/should_work/packEnvTest/iter.lus rename to tests/should_work/packEnvTest/iter.lus diff --git a/src/test/should_work/packEnvTest/model.lus b/tests/should_work/packEnvTest/model.lus similarity index 100% rename from src/test/should_work/packEnvTest/model.lus rename to tests/should_work/packEnvTest/model.lus diff --git a/src/test/should_work/packEnvTest/modelInst.lus b/tests/should_work/packEnvTest/modelInst.lus similarity index 100% rename from src/test/should_work/packEnvTest/modelInst.lus rename to tests/should_work/packEnvTest/modelInst.lus diff --git a/src/test/should_work/packEnvTest/packages.lus b/tests/should_work/packEnvTest/packages.lus similarity index 100% rename from src/test/should_work/packEnvTest/packages.lus rename to tests/should_work/packEnvTest/packages.lus diff --git a/src/test/should_work/packEnvTest/packages2.lus b/tests/should_work/packEnvTest/packages2.lus similarity index 100% rename from src/test/should_work/packEnvTest/packages2.lus rename to tests/should_work/packEnvTest/packages2.lus diff --git a/src/test/should_work/packEnvTest/polymorphic_pack.lus b/tests/should_work/packEnvTest/polymorphic_pack.lus similarity index 100% rename from src/test/should_work/packEnvTest/polymorphic_pack.lus rename to tests/should_work/packEnvTest/polymorphic_pack.lus diff --git a/src/test/should_work/to_sort_out/asservi.lus b/tests/should_work/to_sort_out/asservi.lus similarity index 100% rename from src/test/should_work/to_sort_out/asservi.lus rename to tests/should_work/to_sort_out/asservi.lus diff --git a/src/test/should_work/to_sort_out/test.res b/tests/should_work/to_sort_out/test.res similarity index 100% rename from src/test/should_work/to_sort_out/test.res rename to tests/should_work/to_sort_out/test.res diff --git a/src/test/test.res.exp b/tests/test.res.exp similarity index 100% rename from src/test/test.res.exp rename to tests/test.res.exp diff --git a/src/test/test_ec.res.exp b/tests/test_ec.res.exp similarity index 100% rename from src/test/test_ec.res.exp rename to tests/test_ec.res.exp diff --git a/src/test/test_lv4.res.exp b/tests/test_lv4.res.exp similarity index 100% rename from src/test/test_lv4.res.exp rename to tests/test_lv4.res.exp diff --git a/src/utils/doit b/utils/doit similarity index 100% rename from src/utils/doit rename to utils/doit diff --git a/src/utils/get_branch_name b/utils/get_branch_name similarity index 100% rename from src/utils/get_branch_name rename to utils/get_branch_name diff --git a/src/utils/get_commit_number b/utils/get_commit_number similarity index 100% rename from src/utils/get_commit_number rename to utils/get_commit_number diff --git a/src/utils/get_sha_1 b/utils/get_sha_1 similarity index 100% rename from src/utils/get_sha_1 rename to utils/get_sha_1