crytic / echidna

Ethereum smart contract fuzzer

Home Page:https://secure-contracts.com/program-analysis/echidna/index.html

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

warn when seqLen > 1 and there haven't been any SLOAD/SSTORE in target

0xalpharush opened this issue · comments

Describe the desired feature

For stateless fuzzing, we should detect a misconfiguration and warn the user that their config is limiting its effectiveness