mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-04 21:39:13 +00:00
Code Activity

use copy, twice, not set (used by constructor)

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2025-10-31 01:59:00 -07:00
parent 604cfb09c5
commit 0a1eba1a45
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/smt/smt_parallel.cpp
View file

@ -165,6 +165,7 @@ namespace smt {
params_ref parallel::param_generator::apply_param_values(param_values const &pv) { params_ref parallel::param_generator::apply_param_values(param_values const &pv) {
params_ref p; params_ref p;
p.copy(m_p); p.copy(m_p);
p.copy(m_p); // hack to break default sharing of parameters
for (auto const &[k, v] : pv) { for (auto const &[k, v] : pv) {
if (std::holds_alternative<unsigned_value>(v)) { if (std::holds_alternative<unsigned_value>(v)) {
unsigned_value uv = std::get<unsigned_value>(v); unsigned_value uv = std::get<unsigned_value>(v);