remove corrupted lustre files
add ADA strategy and call it in Simulink folder
cleanup src_many_files, regenerate input/output references
add more simulink tests
add include test
update zustre reference
Updated ref output
Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec-tests
Better naming
add output references
renamed mode as mode_ to avoid collision with the mode keyword of cocospec.
Script now compare the output with ones compiled with the same options
Moved to cocospec contract
Restructured mpfr folder tests to rely on highlevel strategies
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
Renamed math in lustrec_math
Improved ctest configuration
Renaminig lustre contracts from ensures to guaranteesWill require the latest cocospec branch to compile (before it is integrated in the unstable/master branches)
Improving integration with CDash
add Kind2Results
Updates some expected outputs
add zustre results
add helpful_functions to the modules folder
More functions
More tests
New machine types related test cases
add json example for SF IR
MPFR and EMF checks
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
conditional use of zustre
hints to drive search of lustrec binary
- no Zustre does not interrupt test, it just disable horn related tests- commit to cavale cdash(board) instead of my.cdash.org
controller folder
update folders
update automata/with_prop folder
update Stateflow folder
update adrien folder
update Simulink folder
factorize kind_fmcad08 in one cmake file
add strategie 1
add safety folder
add lusic CMakeLists
add mpfr CMakeLists
add mpfr test
add zustre
modify lustre_find
add testing script
add linear_ctl
add module helpfull functions
add lego_robot folder to tests
update clockes examples
add clocks folder to tests
add automata folder to tests
add adrien test folder
add kind/simulation tests
add kind/protocol tests
add kind/misc tests
add memory2 tests
add kind/memory1 test
change kind folder
add targets
compare Zustre xml with lustrec binary
clean repo
add kind_fmcad08/large to tests
add horn option for Stateflow
add Simulink
add ctest for Stateflow
compare C binary with reference outputs
add README
add regression tests with cmake