From 902da4179f74f79aca70a3a0847962b7e82d6326 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= <daniel.marjamaki@gmail.com>
Date: Sun, 6 Dec 2020 11:35:52 +0100
Subject: [PATCH] Travis: Disable cve.py for now as it's too slow at the
 moment. We might need to tweak the script, maybe ensure there is output every
 minute.. or something

---
 .travis.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index e215c0ffe..ca937b1ee 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -150,7 +150,8 @@ matrix:
         - make clean
         - make USE_Z3=yes -j2 all
         - ./testrunner TestExprEngine
-        - python3 test/bug-hunting/cve.py
+        # 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
         - mkdir ~/juliet