[Bug-Candidate]: Echidna reproducers can have reverting transactions
Open
- Dominant language
- Solidity
- Stars
- 115
- Forks
- 6
- PR merge metrics
- No merged PRs in 30d
Description
### 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](https://github.com/crytic/fuzz-utils/commit/4db63060b8613720a18d8a799a7ff6e8dce10229) + PR #32
### Relevant log output:
_No response_
Contributor guide
Assessment
This issue has not been assessed yet.