test: adding big swapFee delta

defi-wonderland · Jul 26, 2024 · d62ad75 · d62ad75
1 parent 810e129
commit d62ad75
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 1 deletion.
diff --git a/crytic-export/combined_solc.json b/crytic-export/combined_solc.json
diff --git a/test/invariants/fuzz/BMath.t.sol b/test/invariants/fuzz/BMath.t.sol
@@ -142,6 +142,8 @@ contract FuzzBMath is EchidnaTest {
   //   assert(tokenAmountIn <= calc_tokenAmountIn);
   // }
 
+  uint256 constant SWAP_FEE_DELTA = 0.1e18;
+
   // calcPoolOutGivenSingleIn * calcSingleOutGivenPoolIn should be equal to calcOutGivenIn
   function fuzz_testIndirectSwaps_CalcOutGivenIn(
     uint256 tokenBalanceIn,
@@ -170,10 +172,14 @@ contract FuzzBMath is EchidnaTest {
     emit Log('poolSupply', poolSupply);
     emit Log('swapFee', swapFee);
 
+    swapFee = swapFee * SWAP_FEE_DELTA / BONE;
+
     uint256 calc_tokenAmountOut =
       bmath.calcOutGivenIn(tokenBalanceIn, tokenWeightIn, tokenBalanceOut, tokenWeightOut, tokenAmountIn, swapFee);
     emit Log('calc_tokenAmountOut', calc_tokenAmountOut);
 
+    swapFee = swapFee * BONE / SWAP_FEE_DELTA;
+
     uint256 calc_inv_poolAmountOut =
       bmath.calcPoolOutGivenSingleIn(tokenBalanceIn, tokenWeightIn, poolSupply, totalWeight, tokenAmountIn, swapFee);
     emit Log('calc_inv_poolAmountOut', calc_inv_poolAmountOut);
@@ -216,10 +222,14 @@ contract FuzzBMath is EchidnaTest {
     emit Log('poolSupply', poolSupply);
     emit Log('swapFee', swapFee);
 
+    swapFee = swapFee * SWAP_FEE_DELTA / BONE;
+
     uint256 calc_tokenAmountIn =
       bmath.calcInGivenOut(tokenBalanceIn, tokenWeightIn, tokenBalanceOut, tokenWeightOut, tokenAmountOut, swapFee);
     emit Log('calc_tokenAmountIn', calc_tokenAmountIn);
 
+    swapFee = swapFee * BONE / SWAP_FEE_DELTA;
+
     uint256 calc_inv_tokenAmountIn =
       bmath.calcPoolInGivenSingleOut(tokenBalanceOut, tokenWeightOut, poolSupply, totalWeight, tokenAmountOut, swapFee);
     emit Log('calc_inv_tokenAmountIn', calc_inv_tokenAmountIn);