DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

add yes to uninstall

Browse Source
This commit is contained in:
Alex Groce 2018-08-02 12:50:17 -07:00
parent 9ba8c36fcb
commit c254cbefdc
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

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