Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / CMakeLists.txt @ b406445c

History | View | Annotate | Download (1.55 KB)

# Date Author Comment
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