crytic / crytic/echidna

[Bug-Candidate]: Sequences from corpus do not adhere to time/block delay settings

Open
#1,231 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:

Sequences that have long time delays are still used, even in cases where I've changed the settings to this:
```yaml
maxTimeDelay: 1
maxBlockDelay: 1
```

### Code example to reproduce the issue:

1. Run Echidna normally
2. Have an invariant break using long time/block delays that would not break with short delays
3. Store corpus
4. Lower time delays in config
5. Run Echidna with new config
6. Invariant still breaks even though the new config would not allow the sequences used to break it

### Version:

Echidna 2.2.3

### 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.