Update z3 to 4.13.2.0 - Githubissues

angr / claripy

An abstraction layer for constraint solvers.

BSD 2-Clause "Simplified" License

291 stars 94 forks source link

Open twizmwazin opened 1 month ago

twizmwazin commented 1 month ago

A few things I observed:

This release bumps the macos requirement for the x86_64 wheel ONLY from macos 11 to 12.7
Running angr tests locally, several tests take significantly longer to finish
Compatibility issues

Due to the above I have decided to stay on 4.13.0.0 for now.