Add more technical Echidna documentation

crytic / building-secure-contracts

Guidelines and training material to write secure smart contracts

https://secure-contracts.com/

GNU Affero General Public License v3.0

2.18k stars 341 forks source link

Closed elopez closed 3 months ago

elopez commented 3 months ago

The initial set of configuration parameters was taken from https://github.com/crytic/echidna/wiki/Config