From 64bc96c2de6a4ce8705deff238142279c3a53c59 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= <daniel.marjamaki@gmail.com>
Date: Wed, 6 May 2020 11:15:34 +0200
Subject: [PATCH] Travis: changed ITC download url

---
 .travis.yml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 1b690c60b..526b1e2ae 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -170,9 +170,7 @@ matrix:
         - make clean
         - 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
-        - tar xzvf v1.1.tar.gz
-        - mv Software-Analysis-Benchmark-1.1 ~/itc
+        - git clone https://github.com/regehr/itc-benchmarks.git ~/itc
         - python3 test/bug-hunting/itc.py
 
 # check if dmake needs to be rerun (this job may fail)