From 53fa42f279f67e1af7aa80ead783280ca17b8f53 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 14 Dec 2018 14:12:46 +0100
Subject: [PATCH] Ensure failable dependencies are only added once
---
src/storm-dft/storage/dft/DFTState.cpp | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/src/storm-dft/storage/dft/DFTState.cpp b/src/storm-dft/storage/dft/DFTState.cpp
index 42438f5b3..d6a1794af 100644
--- a/src/storm-dft/storage/dft/DFTState.cpp
+++ b/src/storm-dft/storage/dft/DFTState.cpp
@@ -202,8 +202,10 @@ namespace storm {
assert(dependency->dependentEvents().size() == 1);
if (getElementState(dependency->dependentEvents()[0]->id()) == DFTElementState::Operational) {
STORM_LOG_ASSERT(!isFailsafe(dependency->dependentEvents()[0]->id()), "Dependent event is failsafe.");
- mFailableDependencies.push_back(dependency->id());
- STORM_LOG_TRACE("New dependency failure: " << dependency->toString());
+ if (std::find(mFailableDependencies.begin(), mFailableDependencies.end(), dependency->id()) == mFailableDependencies.end()) {
+ mFailableDependencies.push_back(dependency->id());
+ STORM_LOG_TRACE("New dependency failure: " << dependency->toString());
+ }
}
}
return nrFailableDependencies() > 0;