From 187e3ae1b0615f6a13f24b35462e5904fcebf299 Mon Sep 17 00:00:00 2001 From: Alex Groce Date: Thu, 2 Aug 2018 12:23:29 -0700 Subject: [PATCH] try the previous claripy --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index eb3c901..2401f56 100644 --- a/.travis.yml +++ b/.travis.yml @@ -7,7 +7,7 @@ install: - pip install pyflakes - sudo apt-get -y update - sudo apt-get -y install build-essential gcc-multilib cmake python python-pip python-setuptools libffi-dev -- sudo pip install z3-solver==4.5.1.0.post2 +- sudo pip install claripy==7.8.6.16 - sudo pip install -U pip ; sudo pip install manticore - sudo pip uninstall -y Manticore || echo "Manticore not cached" - sudo pip install https://github.com/trailofbits/manticore/archive/last_python2.zip