Manticore integration and tooling updates - Githubissues

tokencard / contracts

The Consumer Contract Wallet

GNU General Public License v3.0

94 stars 40 forks source link

Manticore integration and tooling updates #563

Closed nostdm closed 4 years ago

nostdm commented 4 years ago

Updated/created new READMEs for each tool.
Placed all the tool directories and associated files in the tools folder
Created development scripts for mythril and manticore
Updated CircleCI config.yml with additional contracts and changed paths
Added manticore job to CircleCI
Added a meta script to run all tools in sequence run-all.sh