What is the problem? (Here is where you provide a complete Traceback.)
With z3-solver 4.12.3.0, (see https://github.com/Z3Prover/z3/issues/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.
What is the problem? (Here is where you provide a complete Traceback.) With z3-solver 4.12.3.0, (see https://github.com/Z3Prover/z3/issues/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.