sp
/
tempest
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
Browse Source

Modelchecker-Prctl removed from original split

tempestpy_adaptions
Darknety 5 years ago
parent
6e1238b10b
commit
68539592f2
1 changed files with 9 additions and 4 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 13
      src/test/storm/CMakeLists.txt

13
src/test/storm/CMakeLists.txt
View File

@ -11,7 +11,8 @@ include_directories(${GTEST_INCLUDE_DIR})
# Set split and non-split test directories # Set split and non-split test directories
set(NON_SPLIT_TESTS abstraction adapter builder logic parser permissiveschedulers solver storage transformer utility) 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) function(configure_testsuite_target testsuite)
#message(CONFIGURING TESTSUITE '${testsuite}') #DEBUG #message(CONFIGURING TESTSUITE '${testsuite}') #DEBUG
@ -32,9 +33,13 @@ endforeach()
# Modelchecker testsuite split # Modelchecker testsuite split
foreach(modelchecker_split ${MODELCHECKER_TEST_SPLITS}) 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) 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) add_executable(test-modelchecker-${modelchecker_split} ${TEST_MODELCHECKER_${modelchecker_split}_FILES} ${STORM_TESTS_BASE_PATH}/storm-test.cpp)
configure_testsuite_target(modelchecker-${modelchecker_split}) configure_testsuite_target(modelchecker-${modelchecker_split})
endforeach() 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()
Write Preview
Loading…
Cancel
Save