mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-06-12 03:45:38 +00:00
Code Activity

refactor: use constructor delegation in dep_tracker to eliminate duplicate initialization

Browse source 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
This commit is contained in:
copilot-swe-agent[bot] 2026-03-05 17:57:41 +00:00
parent a70ff84d8c
commit 17894601ba
1 changed files with 1 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/smt/seq/seq_nielsen.cpp
View file

@ -37,9 +37,7 @@ namespace seq {
m_bits.resize(words, 0); m_bits.resize(words, 0);
} }
dep_tracker::dep_tracker(unsigned num_bits, unsigned set_bit) { dep_tracker::dep_tracker(unsigned num_bits, unsigned set_bit) : dep_tracker(num_bits) {
unsigned words = (num_bits + 31) / 32;
m_bits.resize(words, 0);
if (set_bit < num_bits) { if (set_bit < num_bits) {
unsigned word_idx = set_bit / 32; unsigned word_idx = set_bit / 32;
unsigned bit_idx = set_bit % 32; unsigned bit_idx = set_bit % 32;