From cd55e0fe60633c15776e496cb11c00bd2bc2d710 Mon Sep 17 00:00:00 2001 From: Andrew Zhou Date: Fri, 21 Jun 2024 11:22:58 -0700 Subject: [PATCH] remove specialist role from servicer specs certora --- certora/specs/termRepoServicer/accessRoles.spec | 1 - 1 file changed, 1 deletion(-) diff --git a/certora/specs/termRepoServicer/accessRoles.spec b/certora/specs/termRepoServicer/accessRoles.spec index e9c206f..21e664d 100644 --- a/certora/specs/termRepoServicer/accessRoles.spec +++ b/certora/specs/termRepoServicer/accessRoles.spec @@ -68,7 +68,6 @@ rule onlyRoleCanCallStorage(method f, calldataarg args, env e) filtered { || hasRole(AUCTIONEER(),e.msg.sender) || hasRole(COLLATERAL_MANAGER(),e.msg.sender) || hasRole(DEVOPS_ROLE(),e.msg.sender) - || hasRole(SPECIALIST_ROLE(),e.msg.sender) || hasRole(ROLLOVER_MANAGER(),e.msg.sender) || hasRole(ROLLOVER_TARGET_AUCTIONEER_ROLE(),e.msg.sender) || hasRole(INITIALIZER_ROLE(),e.msg.sender)