fuzz-utils icon indicating copy to clipboard operation
fuzz-utils copied to clipboard

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

Open glarregay-tob opened this issue 1 year ago • 1 comments

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

glarregay-tob avatar Mar 26 '24 14:03 glarregay-tob

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

tuturu-tech avatar Mar 26 '24 15:03 tuturu-tech