Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / CMakeLists.txt @ 0c9457a0

History | View | Annotate | Download (2.11 KB)

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