DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

try setup.py to avoid the z3 issue

Browse Source
This commit is contained in:
Alex Groce 2018-07-12 19:53:27 -07:00
parent aeb8663167
commit b5770a8a26
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.travis.yml
View File

@ -9,6 +9,6 @@ install:
- cd build
- cmake ..
- make
- sudo make install
- python setup.py install
script:
- deepstate-angr examples/IntegerArithmetic
- deepstate-manticore examples/IntegerArithmetic