From 04460ac3611b2b8508ce055ab2f2988e30e3c8fd Mon Sep 17 00:00:00 2001 From: Andrew Zhou Date: Tue, 25 Jun 2024 22:36:03 -0700 Subject: [PATCH] verify mint exposure access methods certora --- certora/specs/termRepoServicer/accessRoles.spec | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/certora/specs/termRepoServicer/accessRoles.spec b/certora/specs/termRepoServicer/accessRoles.spec index 506f5a7..85ff150 100644 --- a/certora/specs/termRepoServicer/accessRoles.spec +++ b/certora/specs/termRepoServicer/accessRoles.spec @@ -15,7 +15,7 @@ methods { function ROLLOVER_MANAGER() external returns (bytes32) envfree; function ROLLOVER_TARGET_AUCTIONEER_ROLE() external returns (bytes32) envfree; - function TermController.verifyMintExposure(address) external returns(bool) => NONDET; + function TermController.verifyMintExposureAccess(address) external returns(bool) => NONDET; }