remove corrupted lustre files
add ADA strategy and call it in Simulink folder
add more simulink tests
Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests
Better naming
add output references
Script now compare the output with ones compiled with the same options
Improved the diff tests: a new option allow to use the java test parameterized by epsilon (precision). Default bnehavior is using regular diff on files
Improved ctest configuration
add helpful_functions to the modules folder
More functions
EMF validation
- cmake compare becomes regular diff so output is printed- updated reference value to default 15 digits
Improved zustre output comparison
Improving Zustre output check
hints to drive search of lustrec binary
update automata/with_prop folder
factorize kind_fmcad08 in one cmake file
add strategie 1
add mpfr test
add zustre
modify lustre_find
add testing script
add linear_ctl
add module helpfull functions
update clockes examples
add automata folder to tests
add adrien test folder
add memory2 tests
add targets
compare Zustre xml with lustrec binary
add kind_fmcad08/large to tests
add horn option for Stateflow
add Simulink
compare C binary with reference outputs
add regression tests with cmake