Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
  lustre_files 6e409747 about 5 years Pierre-Loïc Garoche - cmake compare becomes regular diff so output ...
  modules 29e431d5 over 4 years Pierre-Loïc Garoche EMF validation
CMakeLists.txt 2.72 KB f0008b5b about 5 years Pierre-Loïc Garoche - no Zustre does not interrupt test, it just di...
CTestConfig.cmake 575 Bytes f0008b5b about 5 years Pierre-Loïc Garoche - no Zustre does not interrupt test, it just di...
CTestConfig.cmake.bkp 532 Bytes 7a4e6825 about 5 years Pierre-Loïc Garoche conditional use of zustre
CTestCustom.cmake 158 Bytes 6304ff63 over 5 years Hamza Bourbouh add ctest for Stateflow
README 494 Bytes a3c5526d over 5 years Hamza Bourbouh add targets
project_test.cmake 4.7 KB 07e37d22 over 5 years Hamza Bourbouh add testing script
testing_script.cmake 105 Bytes 07e37d22 over 5 years Hamza Bourbouh add testing script

Latest revisions

# Date Author Comment
29e431d5 12/13/2017 05:31 PM Pierre-Loïc Garoche

EMF validation

6e409747 07/03/2017 08:35 PM Pierre-Loïc Garoche

- cmake compare becomes regular diff so output is printed
- updated reference value to default 15 digits

16bf5d3c 06/21/2017 11:42 PM Pierre-Loïc Garoche

Improved zustre output comparison

6d1a5792 05/18/2017 09:18 AM Pierre-Loïc Garoche

Improving Zustre output check

7a4e6825 05/05/2017 10:24 PM Pierre-Loïc Garoche

conditional use of zustre

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

View revisions

Also available in: Atom