Alejandro

I would be really interested in the last point `Show the state of the contract after a failure` Because there are contracts that have methods like `function XXX() public returns...

Hi, I would like to propose to add the intermediate results of the operations in the coverage file that is generated. So for example instead of having: ``` uint256 internal...

Yes, when the `echidna_` function fails.

Hi, Do you have in mind to add [ristretto](https://github.com/dgraph-io/ristretto)? Thanks

@Xeoncross if you have a second, could you update the readme with the ristretto benchmark? Thanks :D