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> mdp = parser.getModel>(); + 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);