GianfrancoBazzani / Medusa-timestamp-bug-POC

Medusa-timestamp-bug-POC

Simple repo to recreate Medusa backwards timestamp bug.

Requirements:

• foundry
• medusa@v0.1.3

To install dependencies:

forge install

Tu run the test with Medusa:

medusa fuzz

To run the test with Echinda:

echidna src/CryticTester.sol --contract CryticTester --config ./echidna.config.yaml