Revision 02d89bbb
Added by Hamza Bourbouh about 8 years ago
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
add automata folder to tests