mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-07-05 14:56:11 +00:00
Code Activity

Restore atom2bool_var.cpp to fix CI build break

Browse source
This commit is contained in:
copilot-swe-agent[bot] 2026-06-12 06:37:48 +00:00 • committed by GitHub
parent 4b7e4cf08a
commit af5bbb4566
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/sat/smt/atom2bool_var.cpp
View file

@ -1,4 +1,4 @@
add a smart constructor to seq_util to create the simplified range given two characters. It would create either the empty regex, the singleton string or a range expression./*++ /*++
Copyright (c) 2011 Microsoft Corporation Copyright (c) 2011 Microsoft Corporation
Module Name: Module Name:
@ -50,9 +50,9 @@ sat::bool_var atom2bool_var::to_bool_var(expr * n) const {
} }
expr* atom2bool_var::bool_var2expr(sat::bool_var v) const { expr* atom2bool_var::bool_var2expr(sat::bool_var v) const {
for (auto const& [key, val] : m_mapping) for (auto const& kv : m_mapping)
if (val == v) if (kv.m_value == v)
return key; return kv.m_key;
return nullptr; return nullptr;
} }