From 4655dc19a17a56f68c483474ad493e8f6da2dd3e Mon Sep 17 00:00:00 2001
From: hannah <hannah.mertens@rwth-aachen.de>
Date: Wed, 23 Jun 2021 14:22:55 +0200
Subject: [PATCH] fixed MDP-LTL test

---
 .../storm/modelchecker/prctl/mdp/MdpPrctlModelCheckerTest.cpp   | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/test/storm/modelchecker/prctl/mdp/MdpPrctlModelCheckerTest.cpp b/src/test/storm/modelchecker/prctl/mdp/MdpPrctlModelCheckerTest.cpp
index b49432538..271c59321 100755
--- a/src/test/storm/modelchecker/prctl/mdp/MdpPrctlModelCheckerTest.cpp
+++ b/src/test/storm/modelchecker/prctl/mdp/MdpPrctlModelCheckerTest.cpp
@@ -775,7 +775,7 @@ namespace {
             EXPECT_NEAR(this->parseNumber("5/6"), this->getQuantitativeResultAtInitialState(model, result), this->precision());
 
             result = checker->check(this->env(), tasks[4]);
-            EXPECT_NEAR(this->parseNumber("1/12"), this->getQuantitativeResultAtInitialState(model, result), this->precision());
+            EXPECT_NEAR(this->parseNumber("31/36"), this->getQuantitativeResultAtInitialState(model, result), this->precision());
 
         } else {
             EXPECT_FALSE(checker->canHandle(tasks[0]));