GitHub

SimplifiedMasterChef_deposit_spec_e5d81ed5aa238ce0dd5a509fc99095b4.spec

function allowance(address owner, address spender) external view returns (uint256); function approve(address spender, uint256 amount) external returns (bool ...
GitHub

SimplifiedMasterChef_deposit_spec_f5596d82f90ec08ae9ba965f87989564.spec

function allowance(address owner, address spender) external view returns (uint256); function approve(address spender, uint256 amount) external returns (bool ...