crytic/echidna

Ethereum smart contract fuzzer

View on GitHub
Haskell
Stars 3.2k
Forks 432
License AGPL-3.0
Open Issues 114
Updated 1d ago