crytic/diffusc

Issues

• Support state changes comparison for differential fuzzing

  #23 opened 9 months ago by suxnju
  0

• Feature Request: No dependency on `echidna` in path

  #15 opened a year ago by rappie
  5

• [Bug-Candidate]: Error downloading from bscscan

  #16 opened a year ago by rappie
  5

• [Bug-Candidate]: ERROR:CryticCompile:Invalid solc compilation Error: Identifier not found or not unique.

  #17 opened a year ago by rappie
  2

• [Bug-Candidate]: ERROR:CryticCompile:Invalid solc compilation Error: Undeclared identifier

  #7 opened a year ago by rappie
  2

• [Bug-Candidate]:

  #8 opened a year ago by emrsrb
  1

• echidna: VM failed for unhandled reason, BadCheatCode 0xef9c9aac

  #6 opened a year ago by rappie
  7