/contracts/lib/openzeppelin-contracts/certora/specs/

2 directories 17 files
Name Size Modified
Go up — —
helpers/ —
methods/ —
AccessControl.spec 5.8 KiB
AccessControlDefaultAdminRules.spec 28 KiB
AccessManaged.spec 1.1 KiB
AccessManager.spec 41 KiB
DoubleEndedQueue.spec 19 KiB
EnumerableMap.spec 19 KiB
EnumerableSet.spec 14 KiB
ERC20.spec 19 KiB
ERC20FlashMint.spec 3.2 KiB
ERC20Wrapper.spec 11 KiB
ERC721.spec 38 KiB
Initializable.spec 11 KiB
Nonces.spec 5.3 KiB
Ownable.spec 4.8 KiB
Ownable2Step.spec 6.8 KiB
Pausable.spec 5.9 KiB
TimelockController.spec 17 KiB