This PR contains the initial integration on the use of medusa for crytic/properties. This includes the execution of ERC20 and ERC4626 tests. A few points should be addressed in future PRs:
Medusa config files should be placed in the root directory, to avoid hitting this issue.
There is no mention in the README about medusa: explaining how to use medusa requires to show/explain how the config options are used, however, this will force us to include the full json with all the default values (or medusa will crash). I reported this issue here.
The ERC4626 foundry tests require to disable stopOnFailedContractMatching but it is unclear why or how the user should be notified about it. This issue was reported here.
This PR contains the initial integration on the use of medusa for crytic/properties. This includes the execution of ERC20 and ERC4626 tests. A few points should be addressed in future PRs:
stopOnFailedContractMatchingbut it is unclear why or how the user should be notified about it. This issue was reported here.