From 1d2717c69a26b1e854bc4d0a4b578796fad19f7e Mon Sep 17 00:00:00 2001
From: PBerger <philipp.berger@rwth-aachen.de>
Date: Wed, 12 Jun 2013 23:50:29 +0200
Subject: [PATCH] Added Debugging output to GmmxxMdpPrctlModelCheckerTest.cpp

Former-commit-id: 969696b52fd192bbd59880d023a5773a743b041d
---
 .../modelchecker/GmmxxMdpPrctlModelCheckerTest.cpp          | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/test/functional/modelchecker/GmmxxMdpPrctlModelCheckerTest.cpp b/test/functional/modelchecker/GmmxxMdpPrctlModelCheckerTest.cpp
index 5b8af9a54..a0f842053 100644
--- a/test/functional/modelchecker/GmmxxMdpPrctlModelCheckerTest.cpp
+++ b/test/functional/modelchecker/GmmxxMdpPrctlModelCheckerTest.cpp
@@ -13,6 +13,12 @@ TEST(GmmxxMdpPrctlModelCheckerTest, Dice) {
 
 	std::shared_ptr<storm::models::Mdp<double>> mdp = parser.getModel<storm::models::Mdp<double>>();
     
+	std::cout << "GmmxxMdpPrctlModelCheckerTest - MatrixData" << std::endl;
+	std::cout << "Number of Choices: " << mdp.get()->getNumberOfChoices() << std::endl;
+	std::cout << "Number of States: " << mdp.get()->getNumberOfStates() << std::endl;
+	std::cout << "Number of Transitions: " << mdp.get()->getNumberOfTransitions() << std::endl;
+	std::cout << "MDP Hash: " << mdp.get()->getHash() << std::endl;
+
 	ASSERT_EQ(mdp->getNumberOfStates(), 169u);
 	ASSERT_EQ(mdp->getNumberOfTransitions(), 436u);