Closed dvzrv closed 1 day ago
The problem is that you're attempting to run claripy with an unpinned version of z3. The new version of z3 is known to produce these issues, and we haven't been able to invest the time in figuring out if it's our fault or z3's fault. See https://github.com/angr/claripy/pull/341
Ah, that makes sense. Too bad :cry:
We've unfortunately already updated to a later version of z3 and since Arch Linux is rolling release we can't really deal with version pinning that well either.
@rhelmot Is there any possibility that you may find time to take a look? When packaging angr on a distro level, we don't really have the option of following that strict pinning as David described. I understand its none trivial but we and the distro package users would very highly appreciate it. :cat: :heart:
We are currently using the latest stable version of z3. No promises that we will be able to immediately update when new versions release, but for now this issue should be resolved.
Description
Hi! I'm currently upgrading this package for the Python 3.11 rebuild on Arch Linux. I ran into multiple failing tests of which I am unsure what the reason is.
FTR: the failures also occur on Python 3.10!
Here are relevant test logs (full logs attached below):
python-claripy-9.2.47-1-x86_64-build.log python-claripy-9.2.47-1-x86_64-check.log
Steps to reproduce the bug
Environment
Arch Linux
Additional context
cc @anthraxx