From 1745d271b45822fd7a3ac11de38baf58b9211031 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 28 Jun 2026 16:33:46 -0700 Subject: [PATCH] Modify thread allocation logic in smt_parallel.cpp --- src/smt/smt_parallel.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/smt/smt_parallel.cpp b/src/smt/smt_parallel.cpp index ed51e21271..b6116b20fd 100644 --- a/src/smt/smt_parallel.cpp +++ b/src/smt/smt_parallel.cpp @@ -1912,7 +1912,7 @@ namespace smt { m_sls_worker = alloc(sls_worker, *this); sl.push_child(&(m_sls_worker->limit())); } - if (pp.core_minimize()) { + if (num_core_min_threads == 1) { m_core_minimizer_worker = alloc(core_minimizer_worker, *this, asms); sl.push_child(&(m_core_minimizer_worker->limit())); }