From 6eec25de6c0fdc6cacc04b6c530a71131667621b Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Mon, 8 Feb 2021 20:35:04 +0100 Subject: [PATCH] Typos --- src/storm-dft/generator/DftNextStateGenerator.cpp | 4 ++-- src/storm-dft/simulator/DFTTraceSimulator.cpp | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/storm-dft/generator/DftNextStateGenerator.cpp b/src/storm-dft/generator/DftNextStateGenerator.cpp index e0dd7c4ea..6c5ca6c3d 100644 --- a/src/storm-dft/generator/DftNextStateGenerator.cpp +++ b/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); diff --git a/src/storm-dft/simulator/DFTTraceSimulator.cpp b/src/storm-dft/simulator/DFTTraceSimulator.cpp index 4baba8e07..11f49c588 100644 --- a/src/storm-dft/simulator/DFTTraceSimulator.cpp +++ b/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"); }