Skip to content

Update hevm to support dynamic argument inputs in symbolic mode #2773

Update hevm to support dynamic argument inputs in symbolic mode

Update hevm to support dynamic argument inputs in symbolic mode #2773

Triggered via pull request June 11, 2026 23:13
Status Failure
Total duration 24m 33s
Artifacts 5

ci.yml

on: pull_request
Matrix: build
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

1 error, 1 warning, and 3 notices
Test with solc 0.8.10 on ubuntu-latest
Process completed with exit code 1.
Build Echidna on macos-15-intel
The following taps are not trusted: aws/tap azure/bicep Homebrew will ignore formulae, casks and commands from these taps when `HOMEBREW_REQUIRE_TAP_TRUST` is set. This will become the default in Homebrew 6.0.0 or 5.2.0, whichever comes first. Enable trust checks now with: export HOMEBREW_REQUIRE_TAP_TRUST=1 Trust specific formulae, casks or commands with: brew trust --formula <user>/<tap>/<formula> brew trust --cask <user>/<tap>/<cask> brew trust --command <user>/<tap>/<command> or trust installed formulae from these taps with: brew trust --formula azure/bicep/bicep You can trust all formulae, casks and commands from these taps with: brew trust aws/tap azure/bicep Prefer trusting only the specific formulae, casks or commands you need. Untap them with: brew untap aws/tap azure/bicep To keep allowing them by default during the transition: export HOMEBREW_NO_REQUIRE_TAP_TRUST=1 This is not recommended and will be removed in a later release.
Build Echidna on windows-latest
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
Test with solc 0.8.10 on windows-latest
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026
Test with solc 0.8.25 on windows-latest
NOTICE: windows-latest requests are being redirected to windows-2025-vs2026 by June 15, 2026

Artifacts

Produced during runtime
Name Size Digest
echidna-Linux
20.9 MB
sha256:c62e41dcf024014fa37dfb27e5c1e4282ab4255e637fdd8ff00fdf7baccf2056
echidna-Windows
20.8 MB
sha256:360c930272389f2fa0029eab0d425a8d14c5312f1d7daa757fce26f96a21d85e
echidna-macOS
9.88 MB
sha256:cb931768564cec5e6cd48b2a7822d3efe2a8c427bab5e814fb425f7c23de56b0
echidna-testsuite-Linux
28.4 MB
sha256:b991b1b91e7bb3d89432f45954ecaabe11746e9eb7ac216b926961307743594d
echidna-testsuite-Windows
23.6 MB
sha256:2f8e6e1ed76e084a84ae99a0bd2f812eedb6d0ce4fe112c0aa1f7067d68ab167