Project

General

Profile

Download (228 Bytes) Statistics
| Branch: | Tag: | Revision:
1
cmake_minimum_required(VERSION 2.8.4)
2

    
3
add_subdirectory(BROKEN)
4
add_subdirectory(CEX)
5
add_subdirectory(SAFE)
6
add_subdirectory(TIMEOUT)
7

    
8

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