A Python smart-contract fuzzer for the EVM that compiles Solidity, discovers echidna_* property functions, and runs randomized call sequences to check invariants.
1413ethereum,evm,fuzzerA Python smart-contract fuzzer for the EVM that compiles Solidity, discovers echidna_* property functions, and runs randomized call sequences to check invariants.