From 5e15a7fac747747d87df955ce9c50d721b5fbe1f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= <daniel.marjamaki@gmail.com>
Date: Sun, 6 Dec 2020 17:09:26 +0100
Subject: [PATCH] Travis; Disable itc checks for now

---
 .travis.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index ca937b1ee..a426d5ce6 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -152,8 +152,8 @@ matrix:
         - ./testrunner TestExprEngine
         # FIXME: this is slowish
         #- python3 test/bug-hunting/cve.py
-        - git clone https://github.com/regehr/itc-benchmarks.git ~/itc
-        - python3 test/bug-hunting/itc.py
+        #- git clone https://github.com/regehr/itc-benchmarks.git ~/itc
+        #- python3 test/bug-hunting/itc.py
         - mkdir ~/juliet
         - curl https://samate.nist.gov/SARD/testsuites/juliet/Juliet_Test_Suite_v1.3_for_C_Cpp.zip -o ~/juliet/juliet.zip
         - cd ~/juliet