From a15a0072dec44e7bcffd604eaf5f81a6d35d0893 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Tue, 30 Oct 2018 15:52:55 +0100
Subject: [PATCH] Better debug output

---
 src/storm-dft/generator/DftNextStateGenerator.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/storm-dft/generator/DftNextStateGenerator.cpp b/src/storm-dft/generator/DftNextStateGenerator.cpp
index 0002cd6a3..ebf773826 100644
--- a/src/storm-dft/generator/DftNextStateGenerator.cpp
+++ b/src/storm-dft/generator/DftNextStateGenerator.cpp
@@ -115,6 +115,7 @@ namespace storm {
                 if(newState->isInvalid() || (nextBE->isTransient() && !newState->hasFailed(mDft.getTopLevelIndex()))) {
                     // Continue with next possible state
                     ++currentFailable;
+                    STORM_LOG_TRACE("State is ignored because " << (newState->isInvalid() ? "it is invalid" : "the transient fault is ignored"));
                     continue;
                 }