Require initial deposit to be larger than 1e5 units

aloelabs · Aug 15, 2024 · 7fb2f8a · 7fb2f8a
1 parent e384e90
commit 7fb2f8a
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/core/src/Lender.sol b/core/src/Lender.sol
@@ -144,6 +144,7 @@ contract Lender is Ledger {
 
         // Mint shares, track rewards, and (if applicable) handle courier accounting
         cache.totalSupply = _mint(beneficiary, shares, amount, cache.totalSupply, courierId);
+        require(cache.totalSupply > 1e5);
         // Assume tokens are transferred
         cache.lastBalance += amount;
 

diff --git a/core/test/invariants/LenderHarness.sol b/core/test/invariants/LenderHarness.sol
@@ -115,7 +115,7 @@ contract LenderHarness {
             return;
         }
 
-        uint256 amount = LENDER.convertToAssets(1) + 1;
+        uint256 amount = LENDER.convertToAssets(1e5 + 1) + 1;
         MockERC20 mock = MockERC20(address(LENDER.asset()));
         mock.mint(address(LENDER), amount);
 
@@ -163,6 +163,7 @@ contract LenderHarness {
     /// @notice Deposits `amount` and sends new `shares` to `beneficiary`
     function deposit(uint112 amount, address beneficiary) public returns (uint256 shares) {
         amount = uint112(amount % (LENDER.maxDeposit(msg.sender) + 1));
+        if (amount <= 1e5) amount = 1e5 + 1;
 
         ERC20 asset = LENDER.asset();
         uint256 free = asset.balanceOf(address(LENDER)) - LENDER.lastBalance();