From 1ea6c34df0c530dfdbae758f3539807d59a4fb60 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= <daniel.marjamaki@gmail.com>
Date: Fri, 1 May 2020 14:09:47 +0200
Subject: [PATCH] Travis: add some bug hunting tests

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

diff --git a/.travis.yml b/.travis.yml
index 3017327fd..6f0f91db2 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -166,6 +166,10 @@ matrix:
         - find . -name '*.json' -not -path '*/\.*' | xargs jsonlint -s
 # build fuzz client
         - make -j2 CXXFLAGS="-fsanitize=address" -C oss-fuzz fuzz-client
+# bug hunting
+        - make clean
+        - make -s USE_Z3=yes all -j2 && ./testrunner TestExprEngine
+        - python3 test/bug-hunting/cve.py
 
 # check if dmake needs to be rerun (this job may fail)
     - name: "rerun dmake?"