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

introduced test-modelchecker-rpatl-smg

tempestpy_adaptions
Lukas Posch 3 years ago
committed by Stefan Pranger
parent
8d11ed9f42
commit
3d73e71162
1 changed files with 8 additions and 0 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. 8
      src/test/storm/CMakeLists.txt

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

@ -13,6 +13,7 @@ include_directories(${GTEST_INCLUDE_DIR})
set(NON_SPLIT_TESTS abstraction adapter automata builder logic model parser permissiveschedulers simulator solver storage transformer utility) set(NON_SPLIT_TESTS abstraction adapter automata builder logic model parser permissiveschedulers simulator solver storage transformer utility)
set(MODELCHECKER_TEST_SPLITS abstraction csl exploration multiobjective reachability) set(MODELCHECKER_TEST_SPLITS abstraction csl exploration multiobjective reachability)
set(MODELCHECKER_PRCTL_TEST_SPLITS dtmc mdp) set(MODELCHECKER_PRCTL_TEST_SPLITS dtmc mdp)
set(MODELCHECKER_RPATL_TEST_SPLITS smg)
function(configure_testsuite_target testsuite) function(configure_testsuite_target testsuite)
#message(CONFIGURING TESTSUITE '${testsuite}') #DEBUG #message(CONFIGURING TESTSUITE '${testsuite}') #DEBUG
@ -43,3 +44,10 @@ foreach(prctl_split ${MODELCHECKER_PRCTL_TEST_SPLITS})
add_executable(test-modelchecker-prctl-${prctl_split} ${TEST_MODELCHECKER_PRCTL_${prctl_split}_FILES} ${STORM_TESTS_BASE_PATH}/storm-test.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}) configure_testsuite_target(modelchecker-prctl-${prctl_split})
endforeach() endforeach()
# Modelchecker-Rpatl testsuite split
foreach(rpatl_split ${MODELCHECKER_RPATL_TEST_SPLITS})
file(GLOB_RECURSE TEST_MODELCHECKER_RPATL_${rpatl_split}_FILES ${STORM_TESTS_BASE_PATH}/modelchecker/rpatl/${rpatl_split}/*.h ${STORM_TESTS_BASE_PATH}/modelchecker/rpatl/${rpatl_split}/*.cpp)
add_executable(test-modelchecker-rpatl-${rpatl_split} ${TEST_MODELCHECKER_RPATL_${rpatl_split}_FILES} ${STORM_TESTS_BASE_PATH}/storm-test.cpp)
configure_testsuite_target(modelchecker-rpatl-${rpatl_split})
endforeach()
Write Preview
Loading…
Cancel
Save