cmake_minimum_required(VERSION 2.8.4)

add_subdirectory(with_properties)
add_subdirectory(without_properties)
add_custom_target(automata COMMAND ${CMAKE_CTEST_COMMAND} -R automata)