fix via z3

2018-08-02 12:42:43 -07:00
parent 3ab1b34131
commit 9ba8c36fcb
1 changed files with 2 additions and 2 deletions
@@ -14,8 +14,8 @@ install:
 - cd build
 - cmake ..
 - make
- sudo pip uninstall claripy
- sudo pip install claripy==7.8.6.16
+- sudo pip uninstall z3-solver
+- sudo pip install z3-solver==4.5.1.0.post2
 - python setup.py install
 - cd ..
 env: