DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

Merge pull request #105 from trailofbits/fix-manticore-travis

Browse Source 
Fix installation of Manticore in Travis
This commit is contained in:
Alex Groce
2018-08-28 21:08:34 -07:00
committed by GitHub
parent 0fbd80a0b1 e7a7b7d68f
commit 9448ace532
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
.travis.yml
View File

@@ -7,8 +7,8 @@ install:
- pip install pyflakes
- sudo apt-get -y update
- sudo apt-get -y install build-essential gcc-multilib cmake python python-pip python-setuptools libffi-dev
- sudo pip install -U pip ; sudo pip install manticore
- sudo pip uninstall -y Manticore || echo "Manticore not cached"
- sudo pip2 install -U pip
- sudo pip install z3-solver
- sudo pip install https://github.com/trailofbits/manticore/archive/last_python2.zip
- mkdir build
- cd build

2
bin/setup.py.in
View File

@@ -30,7 +30,7 @@ setuptools.setup(
author_email="peter@trailofbits.com",
license="Apache-2.0",
keywords="tdd testing symbolic execution",
install_requires=['claripy==7.8.6.16','angr==7.8.7.1', 'manticore'],
install_requires=['claripy==7.8.6.16','angr==7.8.7.1', 'manticore==0.1.10'],
entry_points={
'console_scripts': [
'deepstate = deepstate.main_manticore:main',