crytic/echidna

Ethereum smart contract fuzzer

View on GitHub
Haskell
Stars 3.2k
Forks 438
License AGPL-3.0
Open Issues 104
Updated 6h ago