mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-07 09:55:19 +00:00
Code Activity

Merge branch 'master' of https://github.com/z3prover/z3

Browse source
This commit is contained in:
Nikolaj Bjorner 2022-12-09 08:50:46 -08:00
parent 1434c7d394 9ebacd87e2
commit ee307dd84f
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/util/mpz.cpp
View file

@ -1463,7 +1463,7 @@ void mpz_manager<SYNCH>::bitwise_not(unsigned sz, mpz const & a, mpz & c) {
if (is_small(a) && sz <= 64) { if (is_small(a) && sz <= 64) {
uint64_t v = ~get_uint64(a); uint64_t v = ~get_uint64(a);
unsigned zero_out = 64 - sz; unsigned zero_out = 64 - sz;
v = (v >> zero_out) << zero_out; v = (v << zero_out) >> zero_out;
set(c, v); set(c, v);
} }
else { else {