You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
What is the problem? (Here is where you provide a complete Traceback.)
With z3-solver 4.12.3.0, (see Z3Prover/z3#7041) z3-solver does not list importlib-resources as a dependency.
Please provide some information about your environment.
This is only relevant for <3.9, apparently.
If you've discovered it, what is the root cause of the problem?
See above.
How often does the issue happen?
All the time.
What are the steps to reproduce the issue?
Running the ofrak-angr tests triggers this.
How would you implement this fix?
Ideally this is fixed in z3-solver....; shorterm, either have users install importlib-resources manually, or potentially pin z3-solver.
Are you interested in implementing it yourself?
Maybe.
The text was updated successfully, but these errors were encountered:
What is the problem? (Here is where you provide a complete Traceback.)
With z3-solver 4.12.3.0, (see Z3Prover/z3#7041) z3-solver does not list
importlib-resources
as a dependency.A fix appears to be in the works; 4.12.4.0 does not seem to fix it. There is a release, 4.12.5.0, which is not released to pypi yet (see https://github.com/Z3Prover/z3/blob/master/RELEASE_NOTES.md).
Please provide some information about your environment.
This is only relevant for <3.9, apparently.
If you've discovered it, what is the root cause of the problem?
See above.
How often does the issue happen?
All the time.
What are the steps to reproduce the issue?
Running the ofrak-angr tests triggers this.
How would you implement this fix?
Ideally this is fixed in z3-solver....; shorterm, either have users install importlib-resources manually, or potentially pin z3-solver.
Are you interested in implementing it yourself?
Maybe.
The text was updated successfully, but these errors were encountered: