From 4c2b1d7c22019a0ff8c9a16cfbf45e7e48336fb3 Mon Sep 17 00:00:00 2001 From: Mavo Date: Tue, 1 Mar 2016 13:22:43 +0100 Subject: [PATCH] Model info for benchmarking scripts Former-commit-id: 7a686f5f79f5951edee96fb434a84312476b1a2a --- src/storm-dyftee.cpp | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/storm-dyftee.cpp b/src/storm-dyftee.cpp index e167633bd..c1bafd78a 100644 --- a/src/storm-dyftee.cpp +++ b/src/storm-dyftee.cpp @@ -46,7 +46,8 @@ void analyzeDFT(std::string filename, std::string property, bool symred = false) model->printModelInformationToStream(std::cout); - + std::cout << "No. states (Explored): " << model->getNumberOfStates() << std::endl; + std::cout << "No. transitions (Explored): " << model->getNumberOfTransitions() << std::endl; std::cout << "Bisimulation..." << std::endl; if (model->getNumberOfStates() > 500 && model->isOfType(storm::models::ModelType::Ctmc)) { @@ -54,6 +55,8 @@ void analyzeDFT(std::string filename, std::string property, bool symred = false) } model->printModelInformationToStream(std::cout); + std::cout << "No. states (Bisimulation): " << model->getNumberOfStates() << std::endl; + std::cout << "No. transitions (Bisimulation): " << model->getNumberOfTransitions() << std::endl; // Model checking std::cout << "Model checking..." << std::endl;