From 664484883af860aeae5fad3403d47997652d08c5 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Tue, 20 Oct 2020 11:48:23 -0700
Subject: [PATCH] allow termination in inner loop of OVI

---
 src/storm/solver/helper/OptimisticValueIterationHelper.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/storm/solver/helper/OptimisticValueIterationHelper.cpp b/src/storm/solver/helper/OptimisticValueIterationHelper.cpp
index 296dd2ceb..4a94a9ad0 100644
--- a/src/storm/solver/helper/OptimisticValueIterationHelper.cpp
+++ b/src/storm/solver/helper/OptimisticValueIterationHelper.cpp
@@ -276,6 +276,9 @@ namespace storm {
 
                     bool cancelGuess = false;
                     while (status == SolverStatus::InProgress && overallIterations < maxOverallIterations) {
+                        if (storm::utility::resources::isTerminate()) {
+                            status = SolverStatus::Aborted;
+                        }
                         ++overallIterations;
                         ++currentVerificationIterations;
                         // Perform value iteration stepwise for lower bound and guessed upper bound