From b5aa778c51bf3b414f60c271a1f9ef37ed9ef0f0 Mon Sep 17 00:00:00 2001
From: PBerger <philipp.berger@rwth-aachen.de>
Date: Thu, 18 Aug 2016 03:27:25 +0200
Subject: [PATCH] Fixed PrismMenuGameTest.

Former-commit-id: edce18058a1b2ae2164e1c4cfd538def350d6b3c
---
 test/functional/abstraction/PrismMenuGameTest.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/test/functional/abstraction/PrismMenuGameTest.cpp b/test/functional/abstraction/PrismMenuGameTest.cpp
index 397213e68..0d628fb75 100644
--- a/test/functional/abstraction/PrismMenuGameTest.cpp
+++ b/test/functional/abstraction/PrismMenuGameTest.cpp
@@ -65,9 +65,9 @@ TEST(PrismMenuGame, DieAbstractionTest_SylvanWithRationalFunction) {
     
     storm::abstraction::MenuGame<storm::dd::DdType::Sylvan, storm::RationalFunction> game = abstractProgram.getAbstractGame();
     
-    EXPECT_EQ(10, game.getNumberOfTransitions());
-    EXPECT_EQ(2, game.getNumberOfStates());
-    EXPECT_EQ(0, game.getBottomStates().getNonZeroCount());
+    EXPECT_EQ(26, game.getNumberOfTransitions());
+    EXPECT_EQ(4, game.getNumberOfStates());
+    EXPECT_EQ(2, game.getBottomStates().getNonZeroCount());
 }
 #endif