Skip to content

Commit

Permalink
link controller to servicer in servicer spec for certora
Browse files Browse the repository at this point in the history
  • Loading branch information
@aazhou1
aazhou1 committed Jun 21, 2024
1 parent cd55e0f commit d148d86
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions certora/confs/termRepoServicer.conf
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,6 +13,7 @@
"TermRepoServicerHarness:termRepoToken=TermRepoToken",
"TermRepoServicerHarness:termRepoLocker=TermRepoLocker",
"TermRepoServicerHarness:termRepoCollateralManager=TermRepoCollateralManagerHarness",
"TermRepoServicerHarness:termController=TermController",
"TermRepoServicerHarness:termRepoRolloverManager=TermRepoRolloverManager",
"TermRepoCollateralManagerHarness:termRepoLocker=TermRepoLocker"
],
Expand Down

0 comments on commit d148d86

Please sign in to comment.