Merge pull request #45 from trailofbits/deepstate-manticore

Add explicit `deepstate-manticore` executor script
2018-02-19 18:28:37 -08:00
parent a4cb4f4127 b7aca2196c
commit df6ffd7dbd
1 changed files with 2 additions and 1 deletions
--- a/bin/setup.py.in
+++ b/bin/setup.py.in
@@ -34,6 +34,7 @@ setuptools.setup(
    entry_points={
        'console_scripts': [
            'deepstate = deepstate.main_manticore:main',
-            'deepstate-angr = deepstate.main_angr:main'
+            'deepstate-angr = deepstate.main_angr:main',
+            'deepstate-manticore = deepstate.main_manticore:main',
        ]
    })