Skip to content
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.

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

[Bug-Candidate]: Echidna reproducers can have reverting transactions #33

Open
glarregay-tob opened this issue Mar 26, 2024 · 1 comment

Comments

@glarregay-tob
Copy link
Contributor

Describe the issue:

It is possible for echidna reproducers or corpus entries to have transactions that revert. When those transactions are converted to a foundry test, the whole test fails.

Code example to reproduce the issue:

It requires quite a bit of "luck" to generate one of those call sequences, as they are usually optimized during shrinking. But using a low value for the shrinking runs can help finding one, I guess.

Version:

commit 4db6306 + PR #32

Relevant log output:

No response

@tuturu-tech
Copy link
Collaborator

Good point, although I'm unsure how to resolve this since Echidna/Medusa sequences don't contain any info on if the call reverted or not. We could ignore reverts by wrapping the call in a try/catch, albeit that would inflate the LOC a bit

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants