controller harness for certora

term-finance · Jun 23, 2024 · 38073be · 38073be
1 parent d1e24e1
commit 38073be
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/certora/confs/termRepoServicer.conf b/certora/confs/termRepoServicer.conf
@@ -2,7 +2,7 @@
     "files": [
         "certora/harness/TermRepoServicerHarness.sol",
         "contracts/TermAuctionBidLocker.sol",
-        "contracts/TermController.sol",
+        "certora/harness/TermControllerHarness.sol",
         "contracts/TermRepoLocker.sol",
         "contracts/TermRepoToken.sol",
         "contracts/TermRepoRolloverManager.sol",