warn when seqLen > 1 and there haven't been any SLOAD/SSTORE in target
Open
enhancement
- Dominant language
- Solidity
- Stars
- 115
- Forks
- 6
- PR merge metrics
- No merged PRs in 30d
Description
### Describe the desired feature
> For stateless fuzzing, we should detect a misconfiguration and warn the user that their config is limiting its effectiveness
This was created by @0xalpharush here: https://github.com/crytic/echidna/issues/1253
Contributor guide
Assessment
This issue has not been assessed yet.