mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-05-31 14:17:47 +00:00
Code Activity

small update to testing on p.m_sls_worker instead of should_run_sls

Browse source
This commit is contained in:
Nikolaj Bjorner 2026-02-11 17:37:04 -08:00
parent 730a54a767
commit c031058978
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/smt/smt_parallel.h
View file

@ -80,13 +80,15 @@ namespace smt {
} }
void cancel_sls_worker() { void cancel_sls_worker() {
if (!p.m_sls_worker)
return;
IF_VERBOSE(1, verbose_stream() << "Canceling SLS worker\n"); IF_VERBOSE(1, verbose_stream() << "Canceling SLS worker\n");
p.m_sls_worker->cancel(); p.m_sls_worker->cancel();
} }
void cancel_background_threads() { void cancel_background_threads() {
cancel_workers(); cancel_workers();
if (p.m_should_run_sls) cancel_sls_worker(); cancel_sls_worker();
} }
void init_parameters_state(); void init_parameters_state();