openzeppelin-contracts/certora/specs/Ownable2Step.conf

{
    "files": [
        "certora/harnesses/Ownable2StepHarness.sol"
    ],
    "process": "emv",
    "url_visibility": "public",
    "verify": "Ownable2StepHarness:certora/specs/Ownable2Step.spec"
}