/regression_tests/CMakeLists.txt - Changes - Lustrec-Tests

lustrec-tests / regression_tests / CMakeLists.txt @ b745c1a8

History | View | Annotate | Download (2.74 KB)

#	Date	Author	Comment
5a55fdd1	11/13/2018 04:15 PM	Pierre-Loïc Garoche	Improved ctest configuration
dd62ff27	09/14/2018 04:27 PM	Pierre-Loïc Garoche	Improving integration with CDash
952e86fa	06/09/2018 11:06 AM	Bourbouh	add helpful_functions to the modules folder
a603f261	01/31/2018 09:58 AM	Pierre-Loïc Garoche	More tests
f0008b5b	05/05/2017 10:22 PM	Pierre-Loïc Garoche	- no Zustre does not interrupt test, it just disable horn related tests - commit to cavale cdash(board) instead of my.cdash.org
cac038b0	11/29/2016 11:24 PM	Hamza Bourbouh	factorize kind_fmcad08 in one cmake file
c79336a0	11/29/2016 02:52 AM	Hamza Bourbouh	add strategie 1
7f14b1e1	11/24/2016 05:38 PM	Hamza Bourbouh	add mpfr test
07e37d22	11/22/2016 02:15 PM	Hamza Bourbouh	add testing script
02d89bbb	11/21/2016 03:29 PM	Hamza Bourbouh	add automata folder to tests
55ea7210	11/20/2016 02:15 AM	Hamza Bourbouh	add adrien test folder
b7026160	11/19/2016 06:27 PM	Hamza Bourbouh	add kind/memory1 test
2d6a9bb3	11/18/2016 01:55 AM	Hamza Bourbouh	compare Zustre xml with lustrec binary
fa9e78e5	11/17/2016 12:34 AM	Hamza Bourbouh	add kind_fmcad08/large to tests
6c3ea955	11/14/2016 05:53 PM	Hamza Bourbouh	add Simulink
6304ff63	11/13/2016 03:47 AM	Hamza Bourbouh	add ctest for Stateflow
270fffd4	11/12/2016 03:35 AM	Hamza Bourbouh	compare C binary with reference outputs
eb639349	11/10/2016 06:08 PM	Hamza Bourbouh	add regression tests with cmake