History | View | Annotate | Download (2.74 KB)
Improved ctest configuration
Improving integration with CDash
add helpful_functions to the modules folder
More tests
- no Zustre does not interrupt test, it just disable horn related tests- commit to cavale cdash(board) instead of my.cdash.org
factorize kind_fmcad08 in one cmake file
add strategie 1
add mpfr test
add testing script
add automata folder to tests
add adrien test folder
add kind/memory1 test
compare Zustre xml with lustrec binary
add kind_fmcad08/large to tests
add Simulink
add ctest for Stateflow
compare C binary with reference outputs
add regression tests with cmake