Files
openzeppelin-contracts/certora/specs/methods/IERC3156FlashLender.spec
github-actions dbe796d542 Update docs
2023-09-19 19:19:10 +00: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);
}