logos-storage-contracts-eth/certora/harness/MarketplaceHarness.sol

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.23;

import {IERC20} from "@openzeppelin/contracts/token/ERC20/IERC20.sol";
import {IGroth16Verifier} from "../../contracts/Groth16.sol";
import {MarketplaceConfig} from "../../contracts/Configuration.sol";
import {Marketplace} from "../../contracts/Marketplace.sol";
import {RequestId, SlotId} from "../../contracts/Requests.sol";
import {Requests} from "../../contracts/Requests.sol";

contract MarketplaceHarness is Marketplace {
    constructor(MarketplaceConfig memory config, IERC20 token, IGroth16Verifier verifier)
        Marketplace(config, token, verifier)
    {}

    function publicPeriodEnd(Period period) public view returns (uint64) {
        return _periodEnd(period);
    }

    function slots(SlotId slotId) public view returns (Slot memory) {
        return _slots[slotId];
    }

    function generateSlotId(RequestId requestId, uint64 slotIndex) public pure returns (SlotId) {
        return Requests.slotId(requestId, slotIndex);
    }
}