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

6 lines
271 B
Python

methods {
function maxFlashLoan(address) external returns (uint256) envfree;
function flashFee(address,uint256) external returns (uint256) envfree;
function flashLoan(address,address,uint256,bytes) external returns (bool);
}