From 1e79e5b2a43cc94415edbf5dbb2d006e310282a1 Mon Sep 17 00:00:00 2001 From: Mavo Date: Wed, 2 Mar 2016 15:24:29 +0100 Subject: [PATCH] Only print debug matrix for small state sizes Former-commit-id: c2e793d9b9f9fa4a3bedd8af52fe009706021b72 --- src/builder/ExplicitDFTModelBuilder.cpp | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/src/builder/ExplicitDFTModelBuilder.cpp b/src/builder/ExplicitDFTModelBuilder.cpp index 1c9c64684..3c5a39702 100644 --- a/src/builder/ExplicitDFTModelBuilder.cpp +++ b/src/builder/ExplicitDFTModelBuilder.cpp @@ -57,9 +57,13 @@ namespace storm { modelComponents.markovianStates = storm::storage::BitVector(stateSize, tmpMarkovianStates); // Build transition matrix modelComponents.transitionMatrix = transitionMatrixBuilder.build(stateSize, stateSize); - STORM_LOG_DEBUG("Transition matrix: " << std::endl << modelComponents.transitionMatrix); - STORM_LOG_DEBUG("Exit rates: " << modelComponents.exitRates); - STORM_LOG_DEBUG("Markovian states: " << modelComponents.markovianStates); + if (stateSize <= 15) { + STORM_LOG_TRACE("Transition matrix: " << std::endl << modelComponents.transitionMatrix); + } else { + STORM_LOG_TRACE("Transition matrix: too big to print"); + } + STORM_LOG_TRACE("Exit rates: " << modelComponents.exitRates); + STORM_LOG_TRACE("Markovian states: " << modelComponents.markovianStates); // Build state labeling modelComponents.stateLabeling = storm::models::sparse::StateLabeling(mStates.size() + (mergeFailedStates ? 1 : 0));