From c8bda0fbff55ee0229105e3b549f2e79e65bde3a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= Date: Fri, 1 May 2020 15:22:04 +0200 Subject: [PATCH] Travis: Remove TestExprEngine for now, that does not work well --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index 6f0f91db2..f40c5a6af 100644 --- a/.travis.yml +++ b/.travis.yml @@ -168,7 +168,7 @@ matrix: - make -j2 CXXFLAGS="-fsanitize=address" -C oss-fuzz fuzz-client # bug hunting - make clean - - make -s USE_Z3=yes all -j2 && ./testrunner TestExprEngine + - make -s USE_Z3=yes all -j2 - python3 test/bug-hunting/cve.py # check if dmake needs to be rerun (this job may fail)