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