Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests/regression_tests @ 5945cfcc

Name Size Revision Age Author Comment
  lustre_files 01b56d34 about 8 years Hamza Bourbouh controller folder
  modules 5945cfcc over 7 years Pierre-Loïc Garoche hints to drive search of lustrec binary
CMakeLists.txt 2.72 KB f0008b5b over 7 years Pierre-Loïc Garoche - no Zustre does not interrupt test, it just di...
CTestConfig.cmake 575 Bytes f0008b5b over 7 years Pierre-Loïc Garoche - no Zustre does not interrupt test, it just di...
CTestCustom.cmake 158 Bytes 6304ff63 about 8 years Hamza Bourbouh add ctest for Stateflow
README 494 Bytes a3c5526d about 8 years Hamza Bourbouh add targets
project_test.cmake 4.7 KB 07e37d22 about 8 years Hamza Bourbouh add testing script
testing_script.cmake 105 Bytes 07e37d22 about 8 years Hamza Bourbouh add testing script

Latest revisions

# Date Author Comment
5945cfcc 05/05/2017 10:23 PM Pierre-Loïc Garoche

hints to drive search of lustrec binary
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
01b56d34 12/02/2016 11:39 AM Hamza Bourbouh

controller folder
af44cb25 11/30/2016 12:38 AM Hamza Bourbouh

update folders
5600dad4 11/30/2016 12:28 AM Hamza Bourbouh

update automata/with_prop folder
79ef5fc5 11/30/2016 12:05 AM Hamza Bourbouh

update Stateflow folder
cc6eda98 11/30/2016 12:04 AM Hamza Bourbouh

update adrien folder
0c9457a0 11/29/2016 11:57 PM Hamza Bourbouh

update Simulink folder
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

View revisions

Also available in: Atom