From b4748064acb3f740574199a969e02a75338aeeab Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 1 Mar 2019 16:00:55 +0100
Subject: [PATCH] Warning about default dormancy factor of 1 as pointed out by
 Enno Ruijters

---
 src/storm-dft/parser/DFTGalileoParser.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/storm-dft/parser/DFTGalileoParser.cpp b/src/storm-dft/parser/DFTGalileoParser.cpp
index 7416d3dea..ef7faf350 100644
--- a/src/storm-dft/parser/DFTGalileoParser.cpp
+++ b/src/storm-dft/parser/DFTGalileoParser.cpp
@@ -287,6 +287,8 @@ namespace storm {
             result = parseValue("dorm", line, valueParser);
             if (result.first) {
                 dormancyFactor = result.second;
+            } else {
+                STORM_LOG_WARN("No dormancy factor was provided for basic element '" << name << "' in line " << lineNo << ". Assuming dormancy factor of 1.");
             }
             boost::trim(line);
             if (line != "") {