Files
openzeppelin-contracts/certora/harnesses/TimelockControllerHarness.sol
2023-05-29 21:37:37 +02:00

13 lines
347 B
Solidity

pragma solidity ^0.8.19;
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) {}
}