Merge remote-tracking branch 'origin/master' into sound-vi

7 years ago · 45b6f3452f
1 changed files with 1 additions and 1 deletions
--- a/src/test/storm/modelchecker/DtmcPrctlModelCheckerTest.cpp
+++ b/src/test/storm/modelchecker/DtmcPrctlModelCheckerTest.cpp
@ -472,7 +472,7 @@ namespace {
            HybridCuddNativeSoundPowerEnvironment,
            HybridSylvanNativeRationalSearchEnvironment,
            DdSylvanNativePowerEnvironment,
            DdCuddNativeJacobiEnvironment //,
            DdCuddNativeJacobiEnvironment,
            DdSylvanRationalSearchEnvironment
        > TestingTypes;