Files
openzeppelin-contracts/certora/specs/methods/IAccessControl.spec
github-actions 6ae39c4dc1 Update docs
2023-05-09 19:56:30 +00:00

8 lines
215 B
Python

methods {
hasRole(bytes32, address) returns(bool) envfree
getRoleAdmin(bytes32) returns(bytes32) envfree
grantRole(bytes32, address)
revokeRole(bytes32, address)
renounceRole(bytes32, address)
}