cmake_minimum_required(VERSION 2.8.4)

add_subdirectory(BROKEN)
add_subdirectory(CEX)
add_subdirectory(SAFE)
add_subdirectory(TIMEOUT)


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