cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Disable SMT tests on Arch Linux until the problem with hanging tests on Z3 4.8.11 is resolved

Browse Source
This commit is contained in:
Kamil Śliwak 2021-06-14 15:38:19 +02:00
parent b0a020ba97
commit b4df5ede69
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
.circleci/config.yml
View File

@ -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