Removed debugging output from GmmxxMdpPrctlModelCheckerTest.cpp

Former-commit-id: a734213a25

resources/3rdparty/ltl2dstar-0.5.1/win32/Ltl2dStar/ReadMe.txt

@@ -0,0 +1,29 @@
+========================================================================
+    STATIC LIBRARY : Ltl2dStar Project Overview
+========================================================================
+
+AppWizard has created this Ltl2dStar library project for you.
+
+No source files were created as part of your project.
+
+
+Ltl2dStar.vcxproj
+    This is the main project file for VC++ projects generated using an Application Wizard.
+    It contains information about the version of Visual C++ that generated the file, and
+    information about the platforms, configurations, and project features selected with the
+    Application Wizard.
+
+Ltl2dStar.vcxproj.filters
+    This is the filters file for VC++ projects generated using an Application Wizard. 
+    It contains information about the association between the files in your project 
+    and the filters. This association is used in the IDE to show grouping of files with
+    similar extensions under a specific node (for e.g. ".cpp" files are associated with the
+    "Source Files" filter).
+
+/////////////////////////////////////////////////////////////////////////////
+Other notes:
+
+AppWizard uses "TODO:" comments to indicate parts of the source code you
+should add to or customize.
+
+/////////////////////////////////////////////////////////////////////////////

test/functional/modelchecker/GmmxxMdpPrctlModelCheckerTest.cpp

@@ -12,12 +12,6 @@ TEST(GmmxxMdpPrctlModelCheckerTest, Dice) {
 	ASSERT_EQ(parser.getType(), storm::models::MDP);
 
 	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);