From 269686ef03c0b181aba40bd5d3f71971b64187a2 Mon Sep 17 00:00:00 2001 From: TimQu Date: Fri, 24 Nov 2017 19:30:46 +0100 Subject: [PATCH] added two missing includes and reenabled test --- src/test/storm/modelchecker/DtmcPrctlModelCheckerTest.cpp | 1 + src/test/storm/modelchecker/MdpPrctlModelCheckerTest.cpp | 3 ++- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/src/test/storm/modelchecker/DtmcPrctlModelCheckerTest.cpp b/src/test/storm/modelchecker/DtmcPrctlModelCheckerTest.cpp index e72c5b334..c0a82e583 100644 --- a/src/test/storm/modelchecker/DtmcPrctlModelCheckerTest.cpp +++ b/src/test/storm/modelchecker/DtmcPrctlModelCheckerTest.cpp @@ -9,6 +9,7 @@ #include "storm/logic/Formulas.h" #include "storm/solver/EigenLinearEquationSolver.h" #include "storm/models/sparse/StandardRewardModel.h" +#include "storm/models/symbolic/StandardRewardModel.h" #include "storm/models/sparse/Dtmc.h" #include "storm/models/symbolic/Dtmc.h" #include "storm/modelchecker/prctl/SparseDtmcPrctlModelChecker.h" diff --git a/src/test/storm/modelchecker/MdpPrctlModelCheckerTest.cpp b/src/test/storm/modelchecker/MdpPrctlModelCheckerTest.cpp index cb80d532b..5c37d24d0 100644 --- a/src/test/storm/modelchecker/MdpPrctlModelCheckerTest.cpp +++ b/src/test/storm/modelchecker/MdpPrctlModelCheckerTest.cpp @@ -10,6 +10,7 @@ #include "storm/models/sparse/Mdp.h" #include "storm/models/symbolic/Mdp.h" #include "storm/models/sparse/StandardRewardModel.h" +#include "storm/models/symbolic/StandardRewardModel.h" #include "storm/modelchecker/prctl/SparseMdpPrctlModelChecker.h" #include "storm/modelchecker/prctl/HybridMdpPrctlModelChecker.h" #include "storm/modelchecker/prctl/SymbolicMdpPrctlModelChecker.h" @@ -290,7 +291,7 @@ namespace { HybridSylvanRationalPolicyIterationEnvironment, DdCuddDoubleValueIterationEnvironment, DdSylvanDoubleValueIterationEnvironment, - // DdCuddDoublePolicyIterationEnvironment, + DdCuddDoublePolicyIterationEnvironment, DdSylvanRationalRationalSearchEnvironment > TestingTypes;