crytic/echidna

Ethereum smart contract fuzzer

View on GitHub
Haskell
Stars 3.2k
Forks 435
License AGPL-3.0
Open Issues 97
Updated 8h ago