From a0c42fa6302fa978af50bd63a93a8f60a126b41a Mon Sep 17 00:00:00 2001 From: Alexander Bork Date: Wed, 5 Jun 2019 16:24:35 +0200 Subject: [PATCH] Added debugging messages for transformations --- src/storm-dft/transformations/DftTransformator.cpp | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/storm-dft/transformations/DftTransformator.cpp b/src/storm-dft/transformations/DftTransformator.cpp index a6ba46f17..97428b6b6 100644 --- a/src/storm-dft/transformations/DftTransformator.cpp +++ b/src/storm-dft/transformations/DftTransformator.cpp @@ -96,6 +96,8 @@ namespace storm { } // At this point the DFT is an exact copy of the original, except for all constant failure probabilities being 0 + + // Introduce new constantly failed BE and FDEPs to trigger all failures if (!failedBEs.empty()) { builder.addBasicElementConst("Unique_Constant_Failure", true); failedBEs.insert(std::begin(failedBEs), "Unique_Constant_Failure"); @@ -104,7 +106,7 @@ namespace storm { builder.setTopLevel(dft.getTopLevelGate()->name()); - STORM_LOG_DEBUG("Transformation complete!"); + STORM_LOG_DEBUG("Transformation UniqueFailedBe complete!"); return std::make_shared>(builder.build()); } @@ -229,7 +231,7 @@ namespace storm { builder.setTopLevel(dft.getTopLevelGate()->name()); - STORM_LOG_DEBUG("Transformation complete!"); + STORM_LOG_DEBUG("Transformation BinaryFDEPs complete!"); return std::make_shared>(builder.build()); }