From c272e65d309cbaaa4d3a5373c1d62b7c52889454 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Thu, 18 Apr 2019 11:24:18 +0200
Subject: [PATCH] Changed suffix label for failed elements to '_failed'

---
 src/storm-dft-cli/storm-dft.cpp                   | 2 +-
 src/storm-dft/builder/ExplicitDFTModelBuilder.cpp | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/storm-dft-cli/storm-dft.cpp b/src/storm-dft-cli/storm-dft.cpp
index 4354c61cd..b6d621f46 100644
--- a/src/storm-dft-cli/storm-dft.cpp
+++ b/src/storm-dft-cli/storm-dft.cpp
@@ -150,7 +150,7 @@ void processOptions() {
         if (label == "failed") {
             // Ignore as this label will always be added
         } else {
-            std::size_t foundIndex = label.find("_fail");
+            std::size_t foundIndex = label.find("_failed");
             if (foundIndex != std::string::npos) {
                 relevantEventNames.push_back(label.substr(0, foundIndex));
             } else {
diff --git a/src/storm-dft/builder/ExplicitDFTModelBuilder.cpp b/src/storm-dft/builder/ExplicitDFTModelBuilder.cpp
index ffc7d2f45..ca9415e48 100644
--- a/src/storm-dft/builder/ExplicitDFTModelBuilder.cpp
+++ b/src/storm-dft/builder/ExplicitDFTModelBuilder.cpp
@@ -476,7 +476,7 @@ namespace storm {
             for (size_t id = 0; id < dft.nrElements(); ++id) {
                 std::shared_ptr<storage::DFTElement<ValueType> const> element = dft.getElement(id);
                 if (element->isRelevant()) {
-                    modelComponents.stateLabeling.addLabel(element->name() + "_fail");
+                    modelComponents.stateLabeling.addLabel(element->name() + "_failed");
                     modelComponents.stateLabeling.addLabel(element->name() + "_dc");
                 }
             }
@@ -498,7 +498,7 @@ namespace storm {
                         storm::storage::DFTElementState elementState = storm::storage::DFTState<ValueType>::getElementState(state, *stateGenerationInfo, element->id());
                         switch (elementState) {
                             case storm::storage::DFTElementState::Failed:
-                                modelComponents.stateLabeling.addLabelToState(element->name() + "_fail", stateId);
+                                modelComponents.stateLabeling.addLabelToState(element->name() + "_failed", stateId);
                                 break;
                             case storm::storage::DFTElementState::DontCare:
                                 modelComponents.stateLabeling.addLabelToState(element->name() + "_dc", stateId);