mythril
mythril copied to clipboard
Add a CONTRIBUTING.md
Summary
Add a document that describes something like the following:
- How to get your dev environment set up
- How to find an issue
- Things to do before submitting your patch
- Things we like to see in a patch
on ubuntu 18.04 personally just had to
apt install docker.io xorriso
We should probably also add make dev-init too.