Skip to content

Commit dbbe9c8

Browse files
authored
fix: Certora [I-03] Error message (SC-1220) (#183)
* fix: certora I-03 * fix: update tests for certora I-03
1 parent 9b8445f commit dbbe9c8

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

src/ForeignController.sol

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -351,7 +351,7 @@ contract ForeignController is AccessControlEnumerable {
351351

352352
require(
353353
IERC4626(token).convertToAssets(shares) >= amount * maxSlippages[token] / 1e18,
354-
"ForeignController/slippage-too-high"
354+
"ForeignController/inflated-shares"
355355
);
356356
}
357357

test/base-fork/Morpho.t.sol

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -168,7 +168,7 @@ contract MorphoDepositFailureTests is MorphoBaseTest {
168168
foreignController.setMaxSlippage(MORPHO_VAULT_USDS, 1e18 + 1); // Positive slippage needed to cause error
169169

170170
vm.prank(relayer);
171-
vm.expectRevert("ForeignController/slippage-too-high");
171+
vm.expectRevert("ForeignController/inflated-shares");
172172
foreignController.depositERC4626(MORPHO_VAULT_USDS, 5_000_000e18);
173173

174174
vm.prank(Base.SPARK_EXECUTOR);

0 commit comments

Comments
 (0)