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

6 lines
233 B
Python

methods {
function permit(address,address,uint256,uint256,uint8,bytes32,bytes32) external;
function nonces(address) external returns (uint256) envfree;
function DOMAIN_SEPARATOR() external returns (bytes32) envfree;
}