mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-05 13:56:03 +00:00
Code Activity

use copy, 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:55:13 -07:00
parent 3ae6853e6b
commit 604cfb09c5
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/smt/smt_parallel.cpp
View file

@ -163,7 +163,8 @@ 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 = m_p; params_ref p;
p.copy(m_p);
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);