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

fix build with new gcc and clang compilers

Browse source
This commit is contained in:
Gianfranco Costamagna 2016-09-26 08:06:38 +02:00 committed by GitHub
parent 8cf356224e
commit 4817b87b7d
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 big;
mpz expected; mpz expected;
mpz r; mpz r;
m.set(big, UINT64_MAX); m.set(big, static_cast<uint64>(UINT64_MAX));
m.set(expected, "18446744075857035263"); m.set(expected, "18446744075857035263");
m.sub(big, intmin, r); m.sub(big, intmin, r);
std::cout << "r: " << m.to_string(r) << "\nexpected: " << m.to_string(expected) << "\n"; std::cout << "r: " << m.to_string(r) << "\nexpected: " << m.to_string(expected) << "\n";