crytic / crytic/echidna

[Bug-Candidate]: Echidna fails to shrink call (revert) + vm.roll + vm.warp into only vm.roll + vm.warp

Open
#1,505 6 comments 0 reactions 0 assignees View on GitHub
Dominant language
Haskell
Stars
3.2k
Forks
432
Avg merge
1d 20h
Merged PRs (30d)
5

Description

### Describe the issue:

### Description

In some scenarios, Echidna generates a failing sequence that contains a call, a block roll and a timestamp warp, where the call reverts, but where going forward in time is a pre-requisite for the sequence.

Ideally, the shrank sequence would ditch the call and only keep the roll and warp. In addition to keeping the sequences smaller, this makes it easier to convert the reproducer to Foundry, as we don't need to manually trim the reverting call function

### Code example to reproduce the issue:

N/A (closed source)

### Version:

Echidna 2.3.0

### Relevant log output:

```shell
N/A
```

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.