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
Renamed math in lustrec_math
Renaminig lustre contracts from ensures to guaranteesWill require the latest cocospec branch to compile (before it is integrated in the unstable/master branches)
add Kind2Results
Updates some expected outputs
add zustre results
More tests
New machine types related test cases
add json example for SF IR
MPFR and EMF checks
- cmake compare becomes regular diff so output is printed- updated reference value to default 15 digits
conditional use of zustre
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 linear_ctl
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 regression tests with cmake