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

// SPDX-License-Identifier: MIT
pragma solidity 0.8.28;

import "../../contracts/Vault.sol";

contract VaultHarness is Vault {
  constructor(IERC20 token) Vault(token) {}

    function publicStatus(
        Controller controller,
        FundId fundId
    ) public view returns (FundStatus) {
        return _getFundStatus(controller, fundId);
    }

    function unwrapTimestamp(
        Timestamp timestamp
    ) public pure returns (uint40) {
        return Timestamp.unwrap(timestamp);
    }

    
}