try forcing old angr

2018-08-02 13:22:48 -07:00 · 2018-08-02 13:22:48 -07:00 · fe6d642b9a
commit fe6d642b9a
parent 125528343a
1 changed files with 1 additions and 1 deletions
--- a/bin/setup.py.in
+++ b/bin/setup.py.in
@ -30,7 +30,7 @@ setuptools.setup(
    author_email="peter@trailofbits.com",
    license="Apache-2.0",
    keywords="tdd testing symbolic execution",
-    install_requires=['angr', 'manticore'],
+    install_requires=['angr==7.8.7.1', 'manticore'],
    entry_points={
        'console_scripts': [
            'deepstate = deepstate.main_manticore:main',