From 9ba8c36fcbfa6885a6c3c9bf0bcf51f56f1ac8c4 Mon Sep 17 00:00:00 2001 From: Alex Groce Date: Thu, 2 Aug 2018 12:42:43 -0700 Subject: [PATCH] fix via z3 --- .travis.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.travis.yml b/.travis.yml index c9d0b5d..2d4a3ed 100644 --- a/.travis.yml +++ b/.travis.yml @@ -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: