From a4777840699c03fdb2a9965e00f8d5d8da3d3045 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Mon, 13 Feb 2017 18:18:43 +0100
Subject: [PATCH] Small fix when computing upper bound in failed states

---
 src/storm-dft/builder/ExplicitDFTModelBuilderApprox.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/storm-dft/builder/ExplicitDFTModelBuilderApprox.cpp b/src/storm-dft/builder/ExplicitDFTModelBuilderApprox.cpp
index b6ed86c1e..c21ce6ef7 100644
--- a/src/storm-dft/builder/ExplicitDFTModelBuilderApprox.cpp
+++ b/src/storm-dft/builder/ExplicitDFTModelBuilderApprox.cpp
@@ -572,6 +572,9 @@ namespace storm {
 
         template<typename ValueType, typename StateType>
         ValueType ExplicitDFTModelBuilderApprox<ValueType, StateType>::getUpperBound(DFTStatePointer const& state) const {
+            if (state->hasFailed(dft.getTopLevelIndex())) {
+                return storm::utility::zero<ValueType>();
+            }
             // Get the upper bound by considering the failure of all BEs
             ValueType upperBound = storm::utility::one<ValueType>();
             ValueType rateSum = storm::utility::zero<ValueType>();