search

crytic / properties

Pre-built security properties for common Ethereum operations
GNU Affero General Public License v3.0
276 stars 42 forks source link

Added a "how to add a property" section #29

Closed tuturu-tech closed 1 year ago

tuturu-tech commented 1 year ago

Added a "how to add a property" section to CONTRIBUTING.md, using the ERC721 maxSupply example.