From b4df5ede6936dd279e4f7a3753159a90b02cc40e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Kamil=20=C5=9Aliwak?= Date: Mon, 14 Jun 2021 15:38:19 +0200 Subject: [PATCH] Disable SMT tests on Arch Linux until the problem with hanging tests on Z3 4.8.11 is resolved --- .circleci/config.yml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.circleci/config.yml b/.circleci/config.yml index 9f4e84d5f..054a60a28 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -721,7 +721,10 @@ jobs: TERM: xterm # For Archlinux we do not have prebuilt docker images and we would need to build evmone from source, # thus we forgo semantics tests to speed things up. - SOLTEST_FLAGS: --no-semantic-tests + # FIXME: Z3 4.8.11 prerelease is now in main Arch Linux repos but it makes some of our SMT + # tests hang. Disabling SMT tests until we get a proper release. + # See https://github.com/Z3Prover/z3/issues/5330 for more details. + SOLTEST_FLAGS: --no-semantic-tests --no-smt steps: - run: name: Install runtime dependencies