enabling a test that previously was disabled

7 years ago · 1bef8564d1
1 changed files with 1 additions and 1 deletions
--- 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);