Files
openzeppelin-contracts/certora/specs/methods/IOwnable2Step.spec
github-actions dbe796d542 Update docs
2023-09-19 19:19:10 +00:00

8 lines
267 B
RPMSpec

methods {
function owner() external returns (address) envfree;
function pendingOwner() external returns (address) envfree;
function transferOwnership(address) external;
function acceptOwnership() external;
function renounceOwnership() external;
}