From 04d4abbdf99ef8a2538cbc03e0971f0fa12dd779 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@gmail.com>
Date: Thu, 8 Dec 2016 00:22:23 +0100
Subject: [PATCH] added targets allowing 'make check' and 'make check-verbose'
 for convenient access to running tests

---
 CMakeLists.txt          | 4 ++++
 src/test/CMakeLists.txt | 2 ++
 2 files changed, 6 insertions(+)

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 ()