openzeppelin-contracts/certora/harnesses/PausableHarness.sol

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.20;

import {Pausable} from "../patched/utils/Pausable.sol";

contract PausableHarness is Pausable {
    function pause() external {
        _pause();
    }

    function unpause() external {
        _unpause();
    }

    function onlyWhenPaused() external whenPaused {}

    function onlyWhenNotPaused() external whenNotPaused {}
}