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

0 directories 13 files
Name Size Modified
Go up — —
IAccessControl.spec 380 B
IAccessControlDefaultAdminRules.spec 1.2 KiB
IAccessManaged.spec 208 B
IAccessManager.spec 2.5 KiB
IERC20.spec 762 B
IERC2612.spec 233 B
IERC3156FlashBorrower.spec 108 B
IERC3156FlashLender.spec 271 B
IERC5313.spec 69 B
IERC721.spec 1.0 KiB
IERC721Receiver.spec 103 B
IOwnable.spec 162 B
IOwnable2Step.spec 267 B