From 9dac249d88bff924714adba4429712e15e5c0061 Mon Sep 17 00:00:00 2001
From: Lanchid <thomas.heinemann@rwth-aachen.de>
Date: Fri, 3 May 2013 16:17:05 +0200
Subject: [PATCH] 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 | 4 ++--
test/functional/GmmxxMdpPrctModelCheckerTest.cpp | 8 ++++----
2 files changed, 6 insertions(+), 6 deletions(-)
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);