FormulaInformation: Fixed detection of property type.

5 years ago · 137f41abac
2 changed files with 2 additions and 2 deletions
--- a/src/storm/logic/FormulaInformation.cpp
+++ b/src/storm/logic/FormulaInformation.cpp
@ -2,7 +2,7 @@

 namespace storm {
    namespace logic {
-        FormulaInformation::FormulaInformation() : mContainsRewardOperator(false), mContainsNextFormula(false), mContainsBoundedUntilFormula(false), mContainsCumulativeRewardFormula(false), mContainsRewardBoundedFormula(false) {
+        FormulaInformation::FormulaInformation() : mContainsRewardOperator(false), mContainsNextFormula(false), mContainsBoundedUntilFormula(false), mContainsCumulativeRewardFormula(false), mContainsRewardBoundedFormula(false), mContainsLongRunFormula(false) {
            // Intentionally left empty
        }
        
--- a/src/storm/utility/Portfolio.cpp
+++ b/src/storm/utility/Portfolio.cpp
@ -30,7 +30,7 @@ namespace storm {
                    STORM_LOG_INFO("Assuming Long Run property:" << property);
                    return PropertyType::LongRun;
                } else {
-                    STORM_LOG_INFO("Unbounded property:" << property);
+                    STORM_LOG_INFO("Assuming Unbounded property:" << property);
                    return PropertyType::Unbounded;
                }
            }