test: mutant 10

morpho-org · Nov 22, 2023 · 9eba54d · 9eba54d
1 parent d5c7303
commit 9eba54d
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/Morpho.sol b/src/Morpho.sol
@@ -391,7 +391,9 @@ contract Morpho is IMorphoStaticTyping {
                 badDebtShares.toAssetsUp(market[id].totalBorrowAssets, market[id].totalBorrowShares)
             );
 
-            market[id].totalBorrowAssets -= badDebt.toUint128();
+            /// AssignmentMutation(`badDebt.toUint128()` |==> `0`) of: `market[id].totalBorrowAssets -=
+            /// badDebt.toUint128();`
+            market[id].totalBorrowAssets -= 0;
             market[id].totalSupplyAssets -= badDebt.toUint128();
             market[id].totalBorrowShares -= badDebtShares.toUint128();
             position[id][borrower].borrowShares = 0;