Skip to content
Gustavo Grieco edited this page Feb 12, 2019 · 8 revisions

How to use Echidna

  • Tutorial
  • Advanced: How to use Echidna with multiple contracts [TODO]
  • Advanced: How to write efficient properties [TODO]
  • Configuration

Bounties

We're happy to offer bounties for contributions to Echidna! Please review Gitcoin for a list of available bounties.

Upon any new release, Trail of Bits may consider sending a bounty payment to any PR that was not covered by Gitcoin. In these cases, we will send an automated payment to the email in your git log via PayPal.

Troubleshooting

[TODO]

Clone this wiki locally