mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-28 03:15:50 +00:00
Code Activity

remove bw setting

Browse source
This commit is contained in:
Nikolaj Bjorner 2024-02-24 01:38:18 -08:00
parent a328366c7d
commit 0e5b504c30
1 changed files with 0 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/ast/sls/sls_valuation.cpp
View file

@ -436,7 +436,6 @@ namespace bv {
digit_t c;
mpn_manager().sub(a.data(), nw, b.data(), nw, out.data(), &c);
clear_overflow_bits(out);
out.set_bw(bw);
}
bool sls_valuation::set_add(bvect& out, bvect const& a, bvect const& b) const {
@ -444,7 +443,6 @@ namespace bv {
mpn_manager().add(a.data(), nw, b.data(), nw, out.data(), nw + 1, &c);
bool ovfl = out[nw] != 0 || has_overflow(out);
clear_overflow_bits(out);
out.set_bw(bw);
return ovfl;
}
@ -457,7 +455,6 @@ namespace bv {
ovfl |= out[i] != 0;
}
clear_overflow_bits(out);
out.set_bw(bw);
return ovfl;
}