Files
openzeppelin-contracts/certora/harnesses/AccessControlHarness.sol
Hadrien Croubois 4fb6833e32 Formal verification using Certora (#4084)
Co-authored-by: Francisco Giordano <fg@frang.io>
2023-03-06 21:31:48 +00:00

8 lines
155 B
Solidity

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;
import "../patched/access/AccessControl.sol";
contract AccessControlHarness is AccessControl {}