From 52979dcbc152684703e52d45ec9902b36f264a66 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 18 Jan 2018 22:31:12 +0100
Subject: [PATCH] setting the 'requirementsChecked' flag in topo min max solver

---
 src/storm/solver/TopologicalMinMaxLinearEquationSolver.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/storm/solver/TopologicalMinMaxLinearEquationSolver.cpp b/src/storm/solver/TopologicalMinMaxLinearEquationSolver.cpp
index 573f18f3a..1ba0c7467 100644
--- a/src/storm/solver/TopologicalMinMaxLinearEquationSolver.cpp
+++ b/src/storm/solver/TopologicalMinMaxLinearEquationSolver.cpp
@@ -298,6 +298,7 @@ namespace storm {
                 req.clearLowerBounds();
             }
             STORM_LOG_THROW(req.empty(), storm::exceptions::UnmetRequirementException, "Requirements of underlying solver not met.");
+            this->sccSolver->setRequirementsChecked(true);
             
             bool res = this->sccSolver->solveEquations(sccSolverEnvironment, dir, x, b);
             if (this->isTrackSchedulerSet()) {
@@ -368,6 +369,7 @@ namespace storm {
                 req.clearValidInitialScheduler();
             }
             STORM_LOG_THROW(req.empty(), storm::exceptions::UnmetRequirementException, "Requirements of underlying solver not met.");
+            this->sccSolver->setRequirementsChecked(true);
 
             // Invoke scc solver
             bool res = this->sccSolver->solveEquations(sccSolverEnvironment, dir, sccX, sccB);