[Feature-request]: Add Properties for `ERC1155` Contracts
Open
- Dominant language
- Solidity
- Stars
- 371
- Forks
- 59
- PR merge metrics
- No merged PRs in 30d
Description
### 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](https://eips.ethereum.org/EIPS/eip-1155)-based contracts.
Contributor guide
Research direction
Read EIP-1155 and the repository's existing property assertions first. No file, test, or entry point is named; done would require defining the common ERC1155 assertions and adding them with test coverage.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- solidity
- Domain
- security
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 20/100