From 22e20e93a920b8fad53382c88de79394679faf39 Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Fri, 6 Mar 2020 13:52:32 -0800 Subject: [PATCH] permissive strategy test should also run without mathsat --- .../permissiveschedulers/SmtPermissiveSchedulerTest.cpp | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/src/test/storm/permissiveschedulers/SmtPermissiveSchedulerTest.cpp b/src/test/storm/permissiveschedulers/SmtPermissiveSchedulerTest.cpp index 8fd55a942..0553c691c 100644 --- a/src/test/storm/permissiveschedulers/SmtPermissiveSchedulerTest.cpp +++ b/src/test/storm/permissiveschedulers/SmtPermissiveSchedulerTest.cpp @@ -12,11 +12,8 @@ #include "storm/modelchecker/prctl/SparseMdpPrctlModelChecker.h" -#if defined STORM_HAVE_MSAT TEST(SmtPermissiveSchedulerTest, DieSelection) { -#else -TEST(SmtPermissiveSchedulerTest, DISABLED_DieSelection) { -#endif + storm::Environment env; storm::prism::Program program = storm::parser::PrismParser::parse(STORM_TEST_RESOURCES_DIR "/mdp/die_c1.nm"); storm::parser::FormulaParser formulaParser(program);