diff --git a/test/functional/GmmxxDtmcPrctModelCheckerTest.cpp b/test/functional/GmmxxDtmcPrctModelCheckerTest.cpp
index 4b1ed1f97..de47f60a3 100644
--- a/test/functional/GmmxxDtmcPrctModelCheckerTest.cpp
+++ b/test/functional/GmmxxDtmcPrctModelCheckerTest.cpp
@@ -14,8 +14,8 @@ TEST(GmmxxDtmcPrctModelCheckerTest, Die) {
 
 	std::shared_ptr<storm::models::Dtmc<double>> dtmc = parser.getModel<storm::models::Dtmc<double>>();
 
-	ASSERT_EQ(dtmc->getNumberOfStates(), 13);
-	ASSERT_EQ(dtmc->getNumberOfTransitions(), 27);
+	ASSERT_EQ(dtmc->getNumberOfStates(), 13u);
+	ASSERT_EQ(dtmc->getNumberOfTransitions(), 27u);
 
 	storm::modelchecker::GmmxxDtmcPrctlModelChecker<double> mc(*dtmc);
 
diff --git a/test/functional/GmmxxMdpPrctModelCheckerTest.cpp b/test/functional/GmmxxMdpPrctModelCheckerTest.cpp
index 9e15b9662..13136cc69 100644
--- a/test/functional/GmmxxMdpPrctModelCheckerTest.cpp
+++ b/test/functional/GmmxxMdpPrctModelCheckerTest.cpp
@@ -13,8 +13,8 @@ TEST(GmmxxMdpPrctModelCheckerTest, Dice) {
 
 	std::shared_ptr<storm::models::Mdp<double>> mdp = parser.getModel<storm::models::Mdp<double>>();
 
-	ASSERT_EQ(mdp->getNumberOfStates(), 169);
-	ASSERT_EQ(mdp->getNumberOfTransitions(), 436);
+	ASSERT_EQ(mdp->getNumberOfStates(), 169u);
+	ASSERT_EQ(mdp->getNumberOfTransitions(), 436u);
 
 	storm::modelchecker::GmmxxMdpPrctlModelChecker<double> mc(*mdp);
 
@@ -177,8 +177,8 @@ TEST(GmmxxMdpPrctModelCheckerTest, AsynchronousLeader) {
 
 	std::shared_ptr<storm::models::Mdp<double>> mdp = parser.getModel<storm::models::Mdp<double>>();
 
-	ASSERT_EQ(mdp->getNumberOfStates(), 3172);
-	ASSERT_EQ(mdp->getNumberOfTransitions(), 7144);
+	ASSERT_EQ(mdp->getNumberOfStates(), 3172u);
+	ASSERT_EQ(mdp->getNumberOfTransitions(), 7144u);
 
 	storm::modelchecker::GmmxxMdpPrctlModelChecker<double> mc(*mdp);