search

crytic / properties

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

[Feature-request]: Add Properties for `ERC1155` Contracts #57

Open pcaversaccio opened 6 months ago

pcaversaccio commented 6 months ago

Describe the desired feature or improvement

I would consider it as a big value-add, if you could add the common property assertions for any EIP-1155-based contracts.