From d148d865fb423ff0cf6e184ed82dd1ee71681a69 Mon Sep 17 00:00:00 2001 From: Andrew Zhou Date: Fri, 21 Jun 2024 14:06:35 -0700 Subject: [PATCH] link controller to servicer in servicer spec for certora --- certora/confs/termRepoServicer.conf | 1 + 1 file changed, 1 insertion(+) diff --git a/certora/confs/termRepoServicer.conf b/certora/confs/termRepoServicer.conf index fe9bf90..bb7fa3b 100644 --- a/certora/confs/termRepoServicer.conf +++ b/certora/confs/termRepoServicer.conf @@ -13,6 +13,7 @@ "TermRepoServicerHarness:termRepoToken=TermRepoToken", "TermRepoServicerHarness:termRepoLocker=TermRepoLocker", "TermRepoServicerHarness:termRepoCollateralManager=TermRepoCollateralManagerHarness", + "TermRepoServicerHarness:termController=TermController", "TermRepoServicerHarness:termRepoRolloverManager=TermRepoRolloverManager", "TermRepoCollateralManagerHarness:termRepoLocker=TermRepoLocker" ],