From 68539592f24c7d3e08d3313107dee11a5fcf76da Mon Sep 17 00:00:00 2001
From: Darknety <info@janjak.de>
Date: Fri, 8 Nov 2019 11:31:26 +0100
Subject: [PATCH] Modelchecker-Prctl removed from original split

---
 src/test/storm/CMakeLists.txt | 13 +++++++++----
 1 file changed, 9 insertions(+), 4 deletions(-)
 mode change 100644 => 100755 src/test/storm/CMakeLists.txt

diff --git a/src/test/storm/CMakeLists.txt b/src/test/storm/CMakeLists.txt
old mode 100644
new mode 100755
index 985c9f80c..f3f4ebabc
--- a/src/test/storm/CMakeLists.txt
+++ b/src/test/storm/CMakeLists.txt
@@ -11,7 +11,8 @@ include_directories(${GTEST_INCLUDE_DIR})
 
 # Set split and non-split test directories
 set(NON_SPLIT_TESTS abstraction adapter builder logic parser permissiveschedulers solver storage transformer utility)
-set(MODELCHECKER_TEST_SPLITS abstraction csl exploration multiobjective prctl reachability)
+set(MODELCHECKER_TEST_SPLITS abstraction csl exploration multiobjective reachability)
+set(MODELCHECKER_PRCTL_TEST_SPLITS dtmc mdp)
 
 function(configure_testsuite_target testsuite)
 	#message(CONFIGURING TESTSUITE '${testsuite}') #DEBUG
@@ -32,9 +33,13 @@ endforeach()
 # Modelchecker testsuite split
 foreach(modelchecker_split ${MODELCHECKER_TEST_SPLITS})
 	file(GLOB_RECURSE TEST_MODELCHECKER_${modelchecker_split}_FILES ${STORM_TESTS_BASE_PATH}/modelchecker/${modelchecker_split}/*.h ${STORM_TESTS_BASE_PATH}/modelchecker/${modelchecker_split}/*.cpp)
-	foreach(tmp ${TEST_MODELCHECKER_${modelchecker_split}_FILES})
-		message(${tmp})
-	endforeach()
 	add_executable(test-modelchecker-${modelchecker_split} ${TEST_MODELCHECKER_${modelchecker_split}_FILES} ${STORM_TESTS_BASE_PATH}/storm-test.cpp)
 	configure_testsuite_target(modelchecker-${modelchecker_split})
 endforeach()
+
+# Modelchecker-Prctl testsuite split
+foreach(prctl_split ${MODELCHECKER_PRCTL_TEST_SPLITS})
+	file(GLOB_RECURSE TEST_MODELCHECKER_PRCTL_${prctl_split}_FILES ${STORM_TESTS_BASE_PATH}/modelchecker/prctl/${prctl_split}/*.h ${STORM_TESTS_BASE_PATH}/modelchecker/prctl/${prctl_split}/*.cpp)
+	add_executable(test-modelchecker-prctl-${prctl_split} ${TEST_MODELCHECKER_PRCTL_${prctl_split}_FILES} ${STORM_TESTS_BASE_PATH}/storm-test.cpp)
+	configure_testsuite_target(modelchecker-prctl-${prctl_split})
+endforeach()