diff --git a/.travis.yml b/.travis.yml index 70dfdd392..1b690c60b 100644 --- a/.travis.yml +++ b/.travis.yml @@ -170,7 +170,7 @@ matrix: - make clean - make -s USE_Z3=yes -j2 - python3 test/bug-hunting/cve.py - - wget -q https://github.com/Toyota-ITC-SSD/Software-Analysis-Benchmark/archive/v1.1.tar.gz + - wget 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