From 7fe4c8c813c9771c2b0ed46942e5c633fff8744c Mon Sep 17 00:00:00 2001
From: gereon <gereon.kremer@rwth-aachen.de>
Date: Tue, 30 Apr 2013 11:12:37 +0200
Subject: [PATCH] fixing signed/unsigned comparisons in ParseMdpTest

---
 test/parser/ParseMdpTest.cpp | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/test/parser/ParseMdpTest.cpp b/test/parser/ParseMdpTest.cpp
index 4147c0122..4d77d7e54 100644
--- a/test/parser/ParseMdpTest.cpp
+++ b/test/parser/ParseMdpTest.cpp
@@ -20,10 +20,10 @@ TEST(ParseMdpTest, parseAndOutput) {
 	std::shared_ptr<storm::models::Mdp<double>> mdp = mdpParser->getMdp();
 	std::shared_ptr<storm::storage::SparseMatrix<double>> matrix = mdp->getTransitionProbabilityMatrix();
 
-	ASSERT_EQ(mdp->getNumberOfStates(), 3);
-	ASSERT_EQ(mdp->getNumberOfTransitions(), 11);
-	ASSERT_EQ(matrix->getRowCount(), 2 * 3);
-	ASSERT_EQ(matrix->getColumnCount(), 3);
+	ASSERT_EQ(mdp->getNumberOfStates(), (uint_fast64_t)3);
+	ASSERT_EQ(mdp->getNumberOfTransitions(), (uint_fast64_t)11);
+	ASSERT_EQ(matrix->getRowCount(), (uint_fast64_t)(2 * 3));
+	ASSERT_EQ(matrix->getColumnCount(), (uint_fast64_t)3);
 	
 
 	delete mdpParser;