openzeppelin-contracts/certora/harnesses/ERC3156FlashBorrowerHarness.sol

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;

import "../patched/interfaces/IERC3156FlashBorrower.sol";

contract ERC3156FlashBorrowerHarness is IERC3156FlashBorrower {
    bytes32 somethingToReturn;

    function onFlashLoan(address, address, uint256, uint256, bytes calldata) external view override returns (bytes32) {
        return somethingToReturn;
    }
}