From 0f3e560ea4c07da6c34b49231b4c1f78c9cbcf56 Mon Sep 17 00:00:00 2001
From: Alex Groce <agroce@gmail.com>
Date: Thu, 12 Jul 2018 21:48:56 -0700
Subject: [PATCH] try z3 after update

---
 .travis.yml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index dc04a9a..89c74e5 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -4,11 +4,12 @@ sudo: true
 python:
 - "2.7"
 install:
-- sudo apt-get install build-essential gcc-multilib cmake python python-setuptools libffi-dev
+- sudo apt-get update
+- sudo apt-get install build-essential gcc-multilib cmake python python-setuptools libffi-dev z3
 - mkdir build
 - cd build
 - cmake ..
 - make
 - python setup.py install
 script:
-- deepstate-angr examples/IntegerArithmetic
+- deepstate-manticore examples/IntegerArithmetic