Adapt Echidna training - Githubissues

crytic / building-secure-contracts

Guidelines and training material to write secure smart contracts

https://secure-contracts.com/

GNU Affero General Public License v3.0

2.22k stars 346 forks source link

Open montyly opened 1 year ago

montyly commented 1 year ago

We need to adapt the Echidna training to:

Use https://github.com/crytic/properties/blob/main/contracts/util/PropertiesHelper.sol, and integrate recommendations regarding the properties repo
Make it compatible with medusa

ggrieco-tob commented 3 months ago

This already started with #361 but needs to be improved to include the DVD examples as well (they are in separated repository)