this PR intends to make the boilerplate follow what we currently are doing for production repositories regarding fuzzing campaings:
[ ] using medusa instead of echidna
[ ] separating handlers and pure property checks by naming convention, while only allowing assertion-mode testing
[ ] discerning between guided and unguided handlers -> usually we do it in separate files, but I figured that's a lot of boilerplate for such a small testsuite, so I'm using different names instead
[ ] use default foundry cheatcodes instead of re-defining them
This does not include a workflow to run medusa in CI, which is currently a WIP on #86
this PR intends to make the boilerplate follow what we currently are doing for production repositories regarding fuzzing campaings:
This does not include a workflow to run medusa in CI, which is currently a WIP on #86