Changed suffix label for failed elements to '_failed'

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 {

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);