merge + fixes in travis

2019-01-07 09:05:19 -03:00
parent bb9e02834d 8ced662872
commit 8ba19cb121
33 changed files with 1302 additions and 217 deletions
@@ -34,7 +34,8 @@ 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',
+            'deepstate-reduce = deepstate.reducer:main',
        ]
    })