Skip to content

nican0r/fuzz-utils-repro

Repository files navigation

Repo for reproducing issue related to fuzz-utils automated foundry test generation a failing before call sequence with echidna vs failing after call sequence with medusa.

To run echidna use: echidna ./test/FuzzCounter.sol --contract FuzzCounter --config echidna.yaml

  • this fails with the following error before a call sequence is generated
image

To run medusa use: medusa fuzz

  • this only fails after a call sequence is generated
image

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published