mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

fix cast in tests

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2018-04-07 13:31:23 -07:00
parent 65834661a8
commit 187ba6a561
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/test/mpz.cpp
View file

@ -127,8 +127,8 @@ static void bug3() {
static void bug4() { static void bug4() {
synch_mpz_manager m; synch_mpz_manager m;
mpz x, y; mpz x, y;
m.set(y, 4294967295ull); m.set(y, static_cast<uint64>(4294967295ull));
m.set(x, 4026531839ull); m.set(x, static_cast<uint64>(4026531839ull));
mpz result1; mpz result1;
m.bitwise_or(x, y, result1); m.bitwise_or(x, y, result1);