/regression_tests/lustre_files/success/Stateflow/CMakeLists.txt - Changes - Lustrec-Tests

lustrec-tests/regression_tests/lustre_files/success/Stateflow/CMakeLists.txt @ 5600dad4

#	Date	Author	Comment
5600dad4	11/30/2016 12:28 AM	Hamza Bourbouh	update automata/with_prop folder
cc6eda98	11/30/2016 12:04 AM	Hamza Bourbouh	update adrien folder
a3c5526d	11/18/2016 05:00 PM	Hamza Bourbouh	add targets
fa9e78e5	11/17/2016 12:34 AM	Hamza Bourbouh	add kind_fmcad08/large to tests
b2b5e09a	11/15/2016 01:49 AM	Hamza Bourbouh	add horn option for Stateflow
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