Files
openzeppelin-contracts/certora/harnesses/PausableHarness.sol
github-actions 6ae39c4dc1 Update docs
2023-05-09 19:56:30 +00:00

20 lines
374 B
Solidity

// 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 {}
}