From 80f28e196dc2bb77a1554a23c272e6cf2970779f Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 12 Mar 2020 09:47:55 +0100
Subject: [PATCH] Print current iteration count when aborting a solver.

---
 src/storm/solver/AbstractEquationSolver.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/solver/AbstractEquationSolver.cpp b/src/storm/solver/AbstractEquationSolver.cpp
index e7583e346..d8e3e7b91 100644
--- a/src/storm/solver/AbstractEquationSolver.cpp
+++ b/src/storm/solver/AbstractEquationSolver.cpp
@@ -289,7 +289,7 @@ namespace storm {
                         STORM_LOG_WARN("Iterative solver did not converge after " << iterations.get() << " iterations.");
                         break;
                     case SolverStatus::Aborted:
-                        STORM_LOG_WARN("Iterative solver was aborted.");
+                        STORM_LOG_WARN("Iterative solver was aborted after " << iterations.get() << " iterations.");
                         break;
                     default:
                         STORM_LOG_THROW(false, storm::exceptions::InvalidStateException, "Iterative solver terminated unexpectedly.");