crytic/echidna

Ethereum smart contract fuzzer

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