Marked constants for expected numbers of states/transitions of the

parsed models in the model checker tests as unsigned (otherwise
compilers may throw annoying warnings)

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);
 

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);