diff --git a/src/test/storm/modelchecker/MdpPrctlModelCheckerTest.cpp b/src/test/storm/modelchecker/MdpPrctlModelCheckerTest.cpp index 04dd3076a..cb80d532b 100644 --- a/src/test/storm/modelchecker/MdpPrctlModelCheckerTest.cpp +++ b/src/test/storm/modelchecker/MdpPrctlModelCheckerTest.cpp @@ -290,7 +290,7 @@ namespace { HybridSylvanRationalPolicyIterationEnvironment, DdCuddDoubleValueIterationEnvironment, DdSylvanDoubleValueIterationEnvironment, - DdCuddDoublePolicyIterationEnvironment, + // DdCuddDoublePolicyIterationEnvironment, DdSylvanRationalRationalSearchEnvironment > TestingTypes;