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

4 lines
108 B
Ruby

methods {
function _.onFlashLoan(address,address,uint256,uint256,bytes) external => DISPATCHER(true);
}