-
Notifications
You must be signed in to change notification settings - Fork 378
Tutorial
Feist Josselin edited this page Jan 31, 2019
·
2 revisions
The aim of this tutorial is to show how to use Echidna to automatically test smart contracts.
The first part introduces how to write a property for Echidna. The second part is a set of exercises to solve.
Table of contents:
Join the team on Slack at: https://empireslacking.herokuapp.com/ #ethereum
All the material of this tutorial is included in our eth-security-toolbox. Run:
$ docker pull trailofbits/eth-security-toolbox
$ docker run -it trailofbits/eth-security-toolbox
The examples and the exercices are inspired from our TruffleCon workshop. Once in the docker, run:
cd "/home/ethsec/workshops/Automated Smart Contracts Audit - TruffleCon 2018/echidna"