Skip to content

Update hevm to support dynamic argument inputs in symbolic mode (#1580) #2787

Update hevm to support dynamic argument inputs in symbolic mode (#1580)

Update hevm to support dynamic argument inputs in symbolic mode (#1580) #2787

Triggered via push June 25, 2026 14:23
Status Success
Total duration 42m 27s
Artifacts 5

ci.yml

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

Annotations

1 error and 1 warning
Test with solc 0.6.12 on windows-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.

Artifacts

Produced during runtime
Name Size Digest
echidna-Linux
21 MB
sha256:4716b1adf2ef6a978287457773809ef2e4116efe8e671f4d904d496bf5d70da8
echidna-Windows
20.9 MB
sha256:a917455d0232ac4aee2ff7c06d2e2f42b2d823a03f12663ba4d2615f97e26b9e
echidna-macOS
9.92 MB
sha256:2bb4dcbc4e8a2f3ba9c091a761704989dd12e4ed221458ff288a0c7aeec100ca
echidna-testsuite-Linux
28.5 MB
sha256:1abd8503db39b71a7fa038d40b61f6b8d18c21c5887ff8a9a82fe63836d067f3
echidna-testsuite-Windows
23.7 MB
sha256:d8b5e3ab80f8a30743d845977b71a4a03a3ed3484cc95033e066ce24795e5ba8