crytic / crytic/fuzz-utils

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

Open
#33 1 comment 0 reactions 0 assignees View on GitHub
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

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.