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

Provide more information on debugging `error Revert 0x`

0xicingdeath opened this issue · comments

Describe the desired feature

Consider flagging a particular src line of code that is problematic or a contract call where this error arose, as otherwise this error msg is a bit obscure, and does not explain well enough what the problem is // what to do.

Additionally, document some reasons as to why this error would arise would help in the wiki or external documentation. As it stands, it is a little hard to reason about what changes need to be made.