diff --git a/CMakeLists.txt b/CMakeLists.txt index 1b9786580..7da6c745d 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -360,6 +360,10 @@ set(STORM_GENERATED_SOURCES "${PROJECT_BINARY_DIR}/src/storm/utility/storm-versi include_directories("${PROJECT_BINARY_DIR}/include") include(CTest) +add_custom_target(check COMMAND ${CMAKE_CTEST_COMMAND}) +set(CMAKE_CTEST_COMMAND_VERBOSE ${CMAKE_CTEST_COMMAND} -V) +add_custom_target(check-verbose COMMAND ${CMAKE_CTEST_COMMAND_VERBOSE}) + # Python bindings for storm set(STORM_TARGETS "") diff --git a/src/test/CMakeLists.txt b/src/test/CMakeLists.txt index 14c8f5a7f..d45a4b4dd 100644 --- a/src/test/CMakeLists.txt +++ b/src/test/CMakeLists.txt @@ -18,6 +18,8 @@ foreach (testsuite adapter builder logic modelchecker parser permissivescheduler add_dependencies(test-${testsuite} test-resources) add_test(run-test-${testsuite} test-${testsuite}) + add_dependencies(check test-${testsuite}) + add_dependencies(check-verbose test-${testsuite}) endforeach ()