Add invariant check to test_removeLiquidity_fuzz

BeanstalkFarms · May 17, 2023 · f5d14eb · f5d14eb
1 parent 39ea396
commit f5d14eb
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/test/Well.RemoveLiquidity.t.sol b/test/Well.RemoveLiquidity.t.sol
@@ -96,6 +96,11 @@ contract WellRemoveLiquidityTest is LiquidityHelper {
         (before, action) = beforeRemoveLiquidity(action);
         well.removeLiquidity(lpAmountIn, amounts, user, type(uint).max);
         afterRemoveLiquidity(before, action);
+
+        assertLe(
+            well.totalSupply(),
+            ConstantProduct2(wellFunction.target).calcLpTokenSupply(well.getReserves(), wellFunction.data)
+        );
     }
 
     /// @dev Fuzz test: UNEQUAL token reserves, BALANCED removal