From fb172b67acc7760c0478fee72f139e870e8289c8 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 11 Feb 2026 17:37:04 -0800 Subject: [PATCH] small update to testing on p.m_sls_worker instead of should_run_sls --- src/smt/smt_parallel.h | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/smt/smt_parallel.h b/src/smt/smt_parallel.h index c49b42521..a9c751aa0 100644 --- a/src/smt/smt_parallel.h +++ b/src/smt/smt_parallel.h @@ -80,13 +80,15 @@ namespace smt { } void cancel_sls_worker() { + if (!p.m_sls_worker) + return; IF_VERBOSE(1, verbose_stream() << "Canceling SLS worker\n"); p.m_sls_worker->cancel(); } void cancel_background_threads() { cancel_workers(); - if (p.m_should_run_sls) cancel_sls_worker(); + cancel_sls_worker(); } void init_parameters_state();