DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

fixes don't work, build is inside angr

Browse Source
This commit is contained in:
Alex Groce
2018-08-02 12:55:02 -07:00
parent c254cbefdc
commit cdc2d3995b
1 changed files with 0 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.travis.yml
View File

@@ -14,8 +14,6 @@ install:
- cd build
- cmake ..
- make
- sudo pip uninstall -y z3-solver
- sudo pip install z3-solver==4.5.1.0.post2
- python setup.py install
- cd ..
env: