Typos

src/storm-dft/generator/DftNextStateGenerator.cpp

@@ -227,13 +227,13 @@ namespace storm {
             if (!dependencySuccessful) {
                 // Dependency was unsuccessful -> no BE fails
                 STORM_LOG_ASSERT(triggeringDependency != nullptr, "Dependency is not given");
-                STORM_LOG_TRACE("With the unsuccessful triggering of PDEP: " << triggeringDependency->name() << " [" << triggeringDependency->id() << "]" << " in " << mDft.getStateString(state));
+                STORM_LOG_TRACE("With the unsuccessful triggering of PDEP " << triggeringDependency->name() << " [" << triggeringDependency->id() << "]" << " in " << mDft.getStateString(state));
                 newState->letDependencyBeUnsuccessful(triggeringDependency);
                 return newState;
             }
 
 
-            STORM_LOG_TRACE("With the failure of: " << failedBE->name() << " [" << failedBE->id() << "]" << (triggeringDependency != nullptr ? " (through dependency " + triggeringDependency->name() + " [" + std::to_string(triggeringDependency->id()) + ")]" : "") << " in " << mDft.getStateString(state));
+            STORM_LOG_TRACE("With the failure of " << failedBE->name() << " [" << failedBE->id() << "]" << (triggeringDependency != nullptr ? " (through dependency " + triggeringDependency->name() + " [" + std::to_string(triggeringDependency->id()) + ")]" : "") << " in " << mDft.getStateString(state));
 
             newState->letBEFail(failedBE, triggeringDependency);
 

src/storm-dft/simulator/DFTTraceSimulator.cpp

@@ -40,7 +40,7 @@ namespace storm {
                 // Get all failable elements
                 if (iterFailable.isFailureDueToDependency()) {
                     if (iterFailable.isConflictingDependency()) {
-                        // We take the first dependeny to resolve the non-determinism
+                        // We take the first dependency to resolve the non-determinism
                         STORM_LOG_WARN("Non-determinism present! We take the dependency with the lowest id");
                     }