From 2f765a9a955927dac47a71442113cd58982d1d1c Mon Sep 17 00:00:00 2001
From: Mavo <matthias.volk@rwth-aachen.de>
Date: Wed, 12 Oct 2016 08:49:33 +0200
Subject: [PATCH] Expand states reached be dependencies

Former-commit-id: ab22162ed579ccdb4678afeee6075a650c0bdd96
---
 src/storage/dft/DFTState.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/storage/dft/DFTState.h b/src/storage/dft/DFTState.h
index b49727313..617d40a7d 100644
--- a/src/storage/dft/DFTState.h
+++ b/src/storage/dft/DFTState.h
@@ -105,8 +105,8 @@ namespace storm {
             }
 
             void setHeuristicValues(std::shared_ptr<storm::storage::DFTState<ValueType>> oldState, ValueType rate, ValueType exitRate) {
-                if (hasFailed(mDft.getTopLevelIndex()) || isFailsafe(mDft.getTopLevelIndex()) || (nrFailableDependencies() == 0 && nrFailableBEs() == 0)) {
-                    // Do not skip absorbing state
+                if (hasFailed(mDft.getTopLevelIndex()) || isFailsafe(mDft.getTopLevelIndex()) || nrFailableDependencies() > 0 || (nrFailableDependencies() == 0 && nrFailableBEs() == 0)) {
+                    // Do not skip absorbing state or if reached by dependencies
                     exploreHeuristic.setNotSkip();
                 }
                 exploreHeuristic.setHeuristicValues(oldState->exploreHeuristic.getDepth() + 1, rate, exitRate);