DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

try z3 after update

Browse Source
This commit is contained in:
Alex Groce
2018-07-12 21:48:56 -07:00
parent 5626068aac
commit 0f3e560ea4
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
.travis.yml
View File

@@ -4,11 +4,12 @@ sudo: true
python: python:
- "2.7" - "2.7"
install: install:
- sudo apt-get install build-essential gcc-multilib cmake python python-setuptools libffi-dev - sudo apt-get update
- sudo apt-get install build-essential gcc-multilib cmake python python-setuptools libffi-dev z3
- mkdir build - mkdir build
- cd build - cd build
- cmake .. - cmake ..
- make - make
- python setup.py install - python setup.py install
script: script:
- deepstate-angr examples/IntegerArithmetic - deepstate-manticore examples/IntegerArithmetic