Control: tags -1 + upstream patch fixed-upstream Hi,
the following patch fixes this issue:
--- a/src/util/mpz.cpp
+++ b/src/util/mpz.cpp
@@ -134,7 +134,7 @@
#endif
mpz one(1);
- set(m_two64, UINT64_MAX);
+ set(m_two64, static_cast<uint64>(UINT64_MAX));
add(m_two64, one, m_two64);
}
The problem has already been fixed in the upstream repository by this commit:
https://github.com/Z3Prover/z3/commit/27399309009314f56cdfbd8333f287b1a9b7a3a6
Kind regards,
Fabian
