DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

switch to angr until add z3 install

Browse Source
This commit is contained in:
Alex Groce 2018-07-12 19:15:28 -07:00
parent 6fbbe0ba9d
commit 61b78a4db7
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.travis.yml
View File

@ -11,4 +11,4 @@ install:
- make
- sudo make install
script:
- deepstate-manticore examples/IntegerArithmetic
- deepstate-angr examples/IntegerArithmetic