openzeppelin-contracts/certora/specs/ERC20Wrapper.conf

{
    "files": [
        "certora/harnesses/ERC20PermitHarness.sol",
        "certora/harnesses/ERC20WrapperHarness.sol"
    ],
    "link": [
        "ERC20WrapperHarness:_underlying=ERC20PermitHarness"
    ],
    "optimistic_loop": true,
    "process": "emv",
    "url_visibility": "public",
    "verify": "ERC20WrapperHarness:certora/specs/ERC20Wrapper.spec"
}