trying to get linking to work

term-finance · Jun 26, 2024 · 660f315 · 660f315
1 parent c2e66c6
commit 660f315
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/certora/specs/termRepoServicer/collapses.spec b/certora/specs/termRepoServicer/collapses.spec
@@ -47,6 +47,9 @@ methods {
     function DummyERC20A.balanceOf(address) external returns(uint256) envfree;
     function DummyERC20A.decimals() external returns(uint256) envfree;
     function DummyERC20A.totalSupply() external returns(uint256) envfree;
+
+    function verifyMintExposureAccess(address) external returns(bool) => DISPATCHER(true);
+
 }
 
 rule burnCollapseExposureMonotonicBehavior(env e) {