Echidna fuzzing template

Use Echidna

echidna test/fuzzing/Fuzz.sol --contract Fuzz --config echidna.yaml

Use Foundry

forge test --mp FoundryFuzz.sol

Use Foundry for repros

forge test --mp FoundryPlayground.sol -vvvv

Initial Cursor prompt with reference

@referenceContracts @fuzzing Using reference contracts, create handlers for SampleContract.complexFunction usage in FuzzSampleContract, appropriately filling in pre and post conditions.

About

Languages

Language:HTML 52.0%Language:Solidity 32.6%Language:JavaScript 11.1%Language:TypeScript 1.8%Language:Python 1.7%Language:Ruby 0.4%Language:Julia 0.2%Language:Shell 0.1%Language:Makefile 0.0%Language:CSS 0.0%Language:Handlebars 0.0%Language:Nix 0.0%