mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-05-31 06:07:46 +00:00
Code Activity

inprocessing flag

Browse source
This commit is contained in:
Ilana Shapiro 2025-12-17 22:41:21 -08:00
parent 0782563e0c
commit e7a107bd21
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/smt/smt_parallel.cpp
View file

@ -147,6 +147,7 @@ namespace smt {
smt_parallel_params pp(p.ctx.m_params); smt_parallel_params pp(p.ctx.m_params);
m_config.m_share_units = pp.share_units(); m_config.m_share_units = pp.share_units();
m_config.m_inprocessing = pp.inprocessing();
} }
void parallel::worker::share_units() { void parallel::worker::share_units() {