Project

General

Profile

« Previous | Next » 

Revision 02d89bbb

Added by Hamza Bourbouh about 8 years ago

add automata folder to tests

View differences:

regression_tests/lustre_files/success/kind_fmcad08/large/CMakeLists.txt
4 4
add_subdirectory(CEX)
5 5
add_subdirectory(SAFE)
6 6
add_subdirectory(TIMEOUT)
7

  
8

  
9
add_custom_target(kind_fmcad08_large COMMAND ${CMAKE_CTEST_COMMAND} -R kind_fmcad08_large)

Also available in: Unified diff