openzeppelin-contracts/certora/harnesses/PausableHarness.sol

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

import "../patched/security/Pausable.sol";

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

    function unpause() external {
        _unpause();
    }

    function onlyWhenPaused() external whenPaused {}

    function onlyWhenNotPaused() external whenNotPaused {}
}