From 1bef8564d1b959a019af3cae29a30448ac03be30 Mon Sep 17 00:00:00 2001 From: TimQu <tim.quatmann@cs.rwth-aachen.de> Date: Thu, 30 Nov 2017 12:55:43 +0100 Subject: [PATCH] enabling a test that previously was disabled --- src/test/storm/modelchecker/DtmcPrctlModelCheckerTest.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/test/storm/modelchecker/DtmcPrctlModelCheckerTest.cpp b/src/test/storm/modelchecker/DtmcPrctlModelCheckerTest.cpp index c0a82e583..d1dc5a369 100644 --- a/src/test/storm/modelchecker/DtmcPrctlModelCheckerTest.cpp +++ b/src/test/storm/modelchecker/DtmcPrctlModelCheckerTest.cpp @@ -454,7 +454,7 @@ namespace { HybridSylvanNativeRationalSearchEnvironment, DdSylvanNativePowerEnvironment, DdCuddNativeJacobiEnvironment //, - // DdSylvanRationalSearchEnvironment + DdSylvanRationalSearchEnvironment > TestingTypes; TYPED_TEST_CASE(DtmcPrctlModelCheckerTest, TestingTypes);