From 5626068aac7751638ae54e649a10124b561b97ab Mon Sep 17 00:00:00 2001
From: Alex Groce <agroce@users.noreply.github.com>
Date: Thu, 12 Jul 2018 19:59:57 -0700
Subject: [PATCH] setup.py and angr

---
 .travis.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 2cae318..dc04a9a 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -11,4 +11,4 @@ install:
 - make
 - python setup.py install
 script:
-- deepstate-manticore examples/IntegerArithmetic
+- deepstate-angr examples/IntegerArithmetic