Skip to content

Echidna 2.3 RC #1467

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
wants to merge 19 commits into
base: master
Choose a base branch
from
Open

Echidna 2.3 RC #1467

wants to merge 19 commits into from

Conversation

@gustavo-grieco
Copy link
Collaborator

@gustavo-grieco gustavo-grieco commented Oct 3, 2025 •
edited
Loading

Echidna 2.3 has some big changes, in particular:

New features

  • Added symbolic execution mode with two flavors: verification and exploration.
  • Revamped HTML coverage report
  • Better value generation using events values and abi for callbacks

Removed features

  • Etheno support
  • estimateGas support

@gustavo-grieco gustavo-grieco changed the title Upgrade to the lastest hevm Echidna 2.3 RC Oct 11, 2025
@gustavo-grieco gustavo-grieco mentioned this pull request Oct 11, 2025
Closed
@gustavo-grieco gustavo-grieco mentioned this pull request Oct 12, 2025
Open
@gustavo-grieco gustavo-grieco marked this pull request as ready for review October 20, 2025 17:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@arcz arcz Awaiting requested review from arcz arcz is a code owner

@elopez elopez Awaiting requested review from elopez elopez is a code owner

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@gustavo-grieco @elopez