Warning about default dormancy factor of 1 as pointed out by Enno Ruijters

6 years ago · b4748064ac
1 changed files with 2 additions and 0 deletions
--- 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 != "") {