DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

Update .travis.yml

Browse Source
This commit is contained in:
ggrieco-tob
2018-11-07 11:14:42 -03:00
committed by GitHub
parent 09a38461e4
commit 5cdc1f62ce
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
.travis.yml
View File

@@ -10,13 +10,13 @@ install:
- sudo pip2 install -U pip
- sudo pip2 install z3-solver
- sudo pip2 install https://github.com/trailofbits/manticore/archive/last_python2.zip
- sudo pip2 install cffi==1.7.0 pycparser==2.18
- sudo pip2 install cffi==1.7.0 pycparser==2.18 cle==7.8.9.26 pyvex==7.8.9.26
- mkdir build
- cd build
- cmake ..
- sudo make install
- sudo pip2 uninstall -y pycparser==2.19
- sudo pip2 install pycparser==2.18
#- sudo pip2 uninstall -y pycparser==2.19
#- sudo pip2 install pycparser==2.18
- cd ..
env:
- TASK=ARITHMETIC