Issues
- 1
[Bug-Candidate]: Difference in ERC721BurnableProperties for external vs. internal
#58 opened by engn33r - 1
`usedId` purpose in `ERC721`
#56 opened by pcaversaccio - 0
- 0
[Bug-Candidate]: `PropertiesConstants.INITIAL_BALANCE` is an arbitrary value unrelated to Echidna default setup
#52 opened by aviggiano - 2
PropertiesHelper: Investigation solutions to not collude with forge-st/Test.sol's assertion
#51 opened by montyly - 0
- 0
- 0
Add a writeup on the divuu vuln
#47 opened by montyly - 0
- 0
- 1
Add helper to assert reverting transaction
#40 opened by montyly - 0
Standardize the properties
#39 opened by montyly - 3
- 2
[Feature-request]: Merkle trie properties
#24 opened by bsamuels453 - 0
[Feature-request]: MultiSig wallet properties
#32 opened by tuturu-tech - 2
[Feature-request]: NFT minting properties
#25 opened by aviggiano - 1
- 1
- 2
- 3
[Feature-request]: Add linter to CI
#17 opened by aviggiano - 2
Add a trophies page
#12 opened by montyly - 3
- 0
[Feature-request]: Emit `LogString` events on `PropertiesHelper.clampBetween`
#16 opened by aviggiano - 1
[Feature-request]: Add support for PRBMath
#2 opened by montyly - 1