thomasjball/PyExZ3

bignum.py test failed

Closed this issue · 2 comments

When I ran "python3 run_tests.py test", all tests passed except for test/bignum.py. Is that a bug from the code or something's wrong on my side?

I believe that test fails on 64-bit versions of Python.

Thanks. I did run that test with 64-bit Python