From 3271e73f01b9a317883f19284ac4a4cb236f3871 Mon Sep 17 00:00:00 2001 From: masawei Date: Fri, 30 May 2014 23:49:14 +0200 Subject: [PATCH] Fixed the last test. All tests green now (well, except the ones that need gurobi, which I don't have). Former-commit-id: 7636a2a6ab1101720fe5ef68ecbc934358423a69 --- .../modelchecker/SparseMdpPrctlModelCheckerTest.cpp | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/test/functional/modelchecker/SparseMdpPrctlModelCheckerTest.cpp b/test/functional/modelchecker/SparseMdpPrctlModelCheckerTest.cpp index 538bfc6f8..f3d817c9f 100644 --- a/test/functional/modelchecker/SparseMdpPrctlModelCheckerTest.cpp +++ b/test/functional/modelchecker/SparseMdpPrctlModelCheckerTest.cpp @@ -82,11 +82,11 @@ TEST(SparseMdpPrctlModelCheckerTest, Dice) { apFormula = new storm::property::prctl::Ap("done"); reachabilityRewardFormula = new storm::property::prctl::ReachabilityReward(apFormula); - result = mc.checkOptimizingOperator(*reachabilityRewardFormula, true); + result = stateRewardModelChecker.checkOptimizingOperator(*reachabilityRewardFormula, true); ASSERT_LT(std::abs(result[0] - 7.333329499), s->getOptionByLongName("precision").getArgument(0).getValueAsDouble()); - result = mc.checkOptimizingOperator(*reachabilityRewardFormula, false); + result = stateRewardModelChecker.checkOptimizingOperator(*reachabilityRewardFormula, false); ASSERT_LT(std::abs(result[0] - 7.333329499), s->getOptionByLongName("precision").getArgument(0).getValueAsDouble()); @@ -103,11 +103,11 @@ TEST(SparseMdpPrctlModelCheckerTest, Dice) { apFormula = new storm::property::prctl::Ap("done"); reachabilityRewardFormula = new storm::property::prctl::ReachabilityReward(apFormula); - result = mc.checkOptimizingOperator(*reachabilityRewardFormula, true); + result = stateAndTransitionRewardModelChecker.checkOptimizingOperator(*reachabilityRewardFormula, true); ASSERT_LT(std::abs(result[0] - 14.666658998), s->getOptionByLongName("precision").getArgument(0).getValueAsDouble()); - result = mc.checkOptimizingOperator(*reachabilityRewardFormula, false); + result = stateAndTransitionRewardModelChecker.checkOptimizingOperator(*reachabilityRewardFormula, false); ASSERT_LT(std::abs(result[0] - 14.666658998), s->getOptionByLongName("precision").getArgument(0).getValueAsDouble());