Travis: attempt to fix download of itc test suite

This commit is contained in:
Daniel Marjamäki 2020-05-06 09:33:43 +02:00
parent 5ccc2202f7
commit 6a2ed326e8
1 changed files with 1 additions and 1 deletions

View File

@ -170,7 +170,7 @@ matrix:
- make clean - make clean
- make -s USE_Z3=yes -j2 - make -s USE_Z3=yes -j2
- python3 test/bug-hunting/cve.py - 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 - tar xzvf v1.1.tar.gz
- mv Software-Analysis-Benchmark-1.1 ~/itc - mv Software-Analysis-Benchmark-1.1 ~/itc
- python3 test/bug-hunting/itc.py - python3 test/bug-hunting/itc.py