Skip to content

kelvinlim1850/UniversalFuzzing

 
 

Repository files navigation

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

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • HTML 52.1%
  • Solidity 32.6%
  • JavaScript 11.1%
  • TypeScript 1.8%
  • Python 1.7%
  • Ruby 0.4%
  • Other 0.3%