mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-14 04:48:45 +00:00
Code Activity

Merge pull request #747 from LocutusOfBorg/patch-2

Browse source 
fix build with new gcc and clang compilers
This commit is contained in:
Nikolaj Bjorner 2016-09-27 18:07:57 -07:00 committed by GitHub
parent 6f4c139c28 4817b87b7d
commit 9fa7cd48e9
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/test/mpz.cpp
View file

@ -280,7 +280,7 @@ void tst_int_min_bug() {
mpz big;
mpz expected;
mpz r;
m.set(big, UINT64_MAX);
m.set(big, static_cast<uint64>(UINT64_MAX));
m.set(expected, "18446744075857035263");
m.sub(big, intmin, r);
std::cout << "r: " << m.to_string(r) << "\nexpected: " << m.to_string(expected) << "\n";