openzeppelin-contracts/certora/harnesses/TimelockControllerHarness.sol

pragma solidity ^0.8.0;

import "../patched/governance/TimelockController.sol";

contract TimelockControllerHarness is TimelockController {
    constructor(
        uint256 minDelay,
        address[] memory proposers,
        address[] memory executors,
        address admin
    ) TimelockController(minDelay, proposers, executors, admin) {}
}