Files
contract/lib_openzeppelin_contracts/certora/specs/methods/IERC20.spec
dexorder 25def69c66 dexorder
2024-10-17 02:42:28 -04:00

12 lines
762 B
RPMSpec

methods {
function name() external returns (string) envfree;
function symbol() external returns (string) envfree;
function decimals() external returns (uint8) envfree;
function totalSupply() external returns (uint256) envfree;
function balanceOf(address) external returns (uint256) envfree;
function allowance(address,address) external returns (uint256) envfree;
function approve(address,uint256) external returns (bool);
function transfer(address,uint256) external returns (bool);
function transferFrom(address,address,uint256) external returns (bool);
}