Tarun Bansal

How about adding more call context data like `gasLimit`, `gasPrice` and `msg.value` along with the from address here

I also found https://github.com/crytic/echidna/tree/master#collecting-and-visualizing-coverage, which explains the meaning of coverage markers in the coverage report. Currently, the [collecting corpus](https://github.com/crytic/building-secure-contracts/blob/master/program-analysis/echidna/advanced/collecting-a-corpus.md) document focuses only on the corpus. It briefly discusses the coverage...