From e76d477ab0fd69ebaaf05e090f8ff09afa541551 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 27 Nov 2025 14:59:48 -0800
Subject: [PATCH] refine givup conditions

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/smt_context.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/smt/smt_context.cpp b/src/smt/smt_context.cpp
index c0a65cfb7..1c7da4031 100644
--- a/src/smt/smt_context.cpp
+++ b/src/smt/smt_context.cpp
@@ -4168,10 +4168,9 @@ namespace smt {
                 break;
             case FC_CONTINUE:
                 return FC_CONTINUE;
-                break;
             }
             if (m_final_check_idx == old_idx) {
-                if (level >= max_level)
+                if (level >= max_level || result == FC_DONE || can_propagate())
                     break;
                 ++level;
             }