From 5849e0c16ec4852c70eb3299b0e4cd9067c1744e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Kamil=20=C5=9Aliwak?= Date: Wed, 1 Sep 2021 18:59:13 +0200 Subject: [PATCH 1/2] Re-enable SMT tests on Arch Linux - Z3 4.8.12 has already been released --- .circleci/config.yml | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/.circleci/config.yml b/.circleci/config.yml index 402bd8ff1..26ac6893d 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -739,10 +739,7 @@ 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. - # 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 + SOLTEST_FLAGS: --no-semantic-tests steps: - run: name: Install runtime dependencies From 4e76914622a2ead5563894de4285b0943bd596ae Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Kamil=20=C5=9Aliwak?= Date: Wed, 1 Sep 2021 19:00:03 +0200 Subject: [PATCH 2/2] Switch back to using the latest ArchLinux docker image --- .circleci/config.yml | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/.circleci/config.yml b/.circleci/config.yml index 26ac6893d..8a0e11d9a 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -589,9 +589,7 @@ jobs: b_archlinux: docker: - # FIXME: Newer releases won't work until CircleCI updates its host machines. - # See https://github.com/ethereum/solidity/pull/11332 - - image: archlinux:base-20210131.0.14634 + - image: archlinux:base environment: TERM: xterm MAKEFLAGS: -j 3 @@ -730,9 +728,7 @@ jobs: t_archlinux_soltest: &t_archlinux_soltest docker: - # FIXME: Newer releases won't work until CircleCI updates its host machines. - # See https://github.com/ethereum/solidity/pull/11332 - - image: archlinux:base-20210131.0.14634 + - image: archlinux:base environment: EVM: << pipeline.parameters.evm-version >> OPTIMIZE: 0