From e78a13a1e8513188b59c6b7cf30595f19f3b797e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= <daniel.marjamaki@gmail.com>
Date: Wed, 6 May 2020 07:32:25 +0200
Subject: [PATCH] Travis: Try to fix bug hunting testing

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

diff --git a/.travis.yml b/.travis.yml
index 76b129443..663911f40 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -167,13 +167,13 @@ matrix:
 # build fuzz client
         - make -j2 CXXFLAGS="-fsanitize=address" -C oss-fuzz fuzz-client
 # bug hunting
-        - make clean
-        - make -s USE_Z3=yes all -j2
+        - touch lib/exprengine.cpp
+        - make -s USE_Z3=yes -j2
         - python3 test/bug-hunting/cve.py
-        - wget https://github.com/Toyota-ITC-SSD/Software-Analysis-Benchmark/archive/v1.1.tar.gz
+        - wget -q https://github.com/Toyota-ITC-SSD/Software-Analysis-Benchmark/archive/v1.1.tar.gz
         - tar xzvf v1.1.tar.gz
-        - mv Software-Analysis-Benchmark-1.1 itc
-        - python3 test/bug-hunting/itc.py itc/01.w_Defects/zero_division.c
+        - mv Software-Analysis-Benchmark-1.1 ~/itc
+        - python3 test/bug-hunting/itc.py
 
 # check if dmake needs to be rerun (this job may fail)
     - name: "rerun dmake?"