Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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