From ba1d0d052da6ba164b328769f63ec3f6f36b20f6 Mon Sep 17 00:00:00 2001 From: Stefan Pranger Date: Sun, 8 Aug 2021 12:15:06 +0200 Subject: [PATCH] added simulator to tests ebc18bc6f2391ccd44d1c5ece951b8a328d89a79 --- src/test/storm/CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/test/storm/CMakeLists.txt b/src/test/storm/CMakeLists.txt index ccf090674..4fc60ab16 100755 --- a/src/test/storm/CMakeLists.txt +++ b/src/test/storm/CMakeLists.txt @@ -10,7 +10,7 @@ register_source_groups_from_filestructure("${ALL_FILES}" test) include_directories(${GTEST_INCLUDE_DIR}) # Set split and non-split test directories -set(NON_SPLIT_TESTS abstraction adapter automata builder logic model parser permissiveschedulers 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_PRCTL_TEST_SPLITS dtmc mdp)