From 4237f9d86b2cc804a68f620f3de846f9ebfc2077 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 15 Jun 2026 10:03:46 -0700 Subject: [PATCH] log exceptions Signed-off-by: Nikolaj Bjorner --- src/solver/parallel_tactical2.cpp | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/solver/parallel_tactical2.cpp b/src/solver/parallel_tactical2.cpp index d19116e24..677cb0e36 100644 --- a/src/solver/parallel_tactical2.cpp +++ b/src/solver/parallel_tactical2.cpp @@ -861,7 +861,7 @@ class parallel_solver { if (changed && !m_bb_candidates.empty()) { m_bb_candidate_epoch.fetch_add(1, std::memory_order_release); - std::sort( + std::stable_sort( m_bb_candidates.begin(), m_bb_candidates.end(), [&](bb_candidate const& a, bb_candidate const& b) { @@ -1933,11 +1933,13 @@ public: if (lim.is_canceled()) m_batch_manager.set_cancel(); } catch (z3_error &err) { + IF_VERBOSE(0, verbose_stream() << "Exception in parallel solver: " << err.what() << "\n"); if (!lim.is_canceled()) m_batch_manager.set_exception(err.error_code()); else m_batch_manager.set_cancel(); } catch (z3_exception &ex) { + IF_VERBOSE(0, verbose_stream() << "Exception in parallel solver: " << ex.what() << "\n"); if (!lim.is_canceled() && !is_cancellation_exception(ex.what())) m_batch_manager.set_exception(ex.what()); else