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
And when I tried importing angr, it gives me below error. Is there anything I'm missing?
import angr
Traceback (most recent call last):
File "", line 1, in
File "/Library/Python/2.7/site-packages/angr/init.py", line 7, in
from .project import *
File "/Library/Python/2.7/site-packages/angr/project.py", line 11, in
import simuvex
File "/Library/Python/2.7/site-packages/simuvex/init.py", line 9, in
from .s_state import SimState
File "/Library/Python/2.7/site-packages/simuvex/s_state.py", line 11, in
import claripy
File "/Library/Python/2.7/site-packages/claripy/init.py", line 17, in
from . import backends as _backends_module
File "/Library/Python/2.7/site-packages/claripy/backends/init.py", line 1, in
from .backend_z3 import BackendZ3
File "/Library/Python/2.7/site-packages/claripy/backends/backend_z3.py", line 45, in
raise ClaripyZ3Error("Unable to find %s", z3_library_file)
claripy.errors.ClaripyZ3Error: ('Unable to find %s', 'libz3.dylib')
The text was updated successfully, but these errors were encountered:
I installed angr framework with
pip install angr
And when I tried importing angr, it gives me below error. Is there anything I'm missing?
The text was updated successfully, but these errors were encountered: