{ "files": [ "certora/harnesses/AccessManagerHarness.sol" ], "optimistic_hashing": true, "optimistic_loop": true, "process": "emv", "url_visibility": "public", "verify": "AccessManagerHarness:certora/specs/AccessManager.spec" }