From 8066bb663774961fe386b12b01ee3b957dbb1a9b Mon Sep 17 00:00:00 2001
From: David_Korzeniewski <david.korzeniewski@rwth-aachen.de>
Date: Fri, 30 Jan 2015 17:44:57 +0100
Subject: [PATCH] Small fix for test.

CPU implementation of TopologicalValueIterationMdpPrctlModelChecker seems to be working, adapted parts of tests passing!


Former-commit-id: 7ed1e11f912a2cb30184a8a5c3d3984910ef3bc0
---
 .../TopologicalValueIterationMdpPrctlModelCheckerTest.cpp      | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/test/functional/modelchecker/TopologicalValueIterationMdpPrctlModelCheckerTest.cpp b/test/functional/modelchecker/TopologicalValueIterationMdpPrctlModelCheckerTest.cpp
index 86936c58e..91388c958 100644
--- a/test/functional/modelchecker/TopologicalValueIterationMdpPrctlModelCheckerTest.cpp
+++ b/test/functional/modelchecker/TopologicalValueIterationMdpPrctlModelCheckerTest.cpp
@@ -26,9 +26,10 @@ TEST(TopologicalValueIterationMdpPrctlModelCheckerTest, Dice) {
     //storm::property::prctl::Ap<double>* apFormula = new storm::property::prctl::Ap<double>("two");
 	auto eventuallyFormula = std::make_shared<storm::logic::EventuallyFormula>(apFormula);
 	//storm::property::prctl::Eventually<double>* eventuallyFormula = new storm::property::prctl::Eventually<double>(apFormula);
+	auto minProbabilityOperatorFormula = std::make_shared<storm::logic::ProbabilityOperatorFormula>(storm::logic::OptimalityType::Minimize, eventuallyFormula);
 	//storm::property::prctl::ProbabilisticNoBoundOperator<double>* probFormula = new storm::property::prctl::ProbabilisticNoBoundOperator<double>(eventuallyFormula, true);
     
-	std::unique_ptr<storm::modelchecker::CheckResult> result = mc.check(*eventuallyFormula);
+	std::unique_ptr<storm::modelchecker::CheckResult> result = mc.check(*minProbabilityOperatorFormula);
 	//std::vector<double> result = mc.checkNoBoundOperator(*probFormula);
 	
 	ASSERT_LT(std::abs(result->asExplicitQuantitativeCheckResult<double>()[0] - 0.0277777612209320068),