diff --git a/.travis.yml b/.travis.yml
index 6f0f91db2..f40c5a6af 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -168,7 +168,7 @@ matrix:
         - make -j2 CXXFLAGS="-fsanitize=address" -C oss-fuzz fuzz-client
 # bug hunting
         - make clean
-        - make -s USE_Z3=yes all -j2 && ./testrunner TestExprEngine
+        - make -s USE_Z3=yes all -j2
         - python3 test/bug-hunting/cve.py
 
 # check if dmake needs to be rerun (this job may fail)