Travis: changed ITC download url
This commit is contained in:
parent
6a2ed326e8
commit
64bc96c2de
|
@ -170,9 +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 https://github.com/Toyota-ITC-SSD/Software-Analysis-Benchmark/archive/v1.1.tar.gz
|
- git clone https://github.com/regehr/itc-benchmarks.git ~/itc
|
||||||
- tar xzvf v1.1.tar.gz
|
|
||||||
- mv Software-Analysis-Benchmark-1.1 ~/itc
|
|
||||||
- python3 test/bug-hunting/itc.py
|
- python3 test/bug-hunting/itc.py
|
||||||
|
|
||||||
# check if dmake needs to be rerun (this job may fail)
|
# check if dmake needs to be rerun (this job may fail)
|
||||||
|
|
Loading…
Reference in New Issue