Check out the Issue Explorer
Looking to fund some work? You can submit a new Funded Issue here.
We can create a tutorial in the wiki based on https://github.com/trailofbits/publications/tree/master/workshops/Automated%20Smart%20Contracts%20Audit%20-%20TruffleCon%202018/echidna
The documentation should show how to write simple properties and test them with echidna.
Additionally, the wiki can describe:
- How to effectively using asserts (https://github.com/trailofbits/echidna/issues/145)
- How to test multiple contracts setup with a master contract pattern (https://github.com/trailofbits/echidna/issues/155)
Once we have the wiki page, we can update the information of the README (https://github.com/trailofbits/echidna/issues/95)