{
    "files": [
        "certora/harnesses/TimelockControllerHarness.sol"
    ],
    "optimistic_hashing": true,
    "optimistic_loop": true,
    "process": "emv",
    "url_visibility": "public",
    "verify": "TimelockControllerHarness:certora/specs/TimelockController.spec"
}