feat: insert assert statement

xenide · xenide · commit a86b60f0fbbf · 2024-03-16T23:37:26.000+08:00
diff --git a/src/ReservoirPair.sol b/src/ReservoirPair.sol
@@ -580,11 +580,12 @@ abstract contract ReservoirPair is IAssetManagedPair, ReservoirERC20 {
                 uint256 lRateLimitedPrice = aPrevClampedPrice.fullMulDiv(1e18 + maxChangeRate * aTimeElapsed, 1e18);
                 uint256 lPerTradeLimitedPrice = aPrevClampedPrice.fullMulDiv(1e18 + maxChangePerTrade, 1e18);
                 rClampedPrice = lRateLimitedPrice.min(lPerTradeLimitedPrice);
+                assert(rClampedPrice < aCurrRawPrice);
             } else {
-                assert(aPrevClampedPrice > aCurrRawPrice);
                 uint256 lRateLimitedPrice = aPrevClampedPrice.fullMulDiv(1e18 - maxChangeRate * aTimeElapsed, 1e18);
                 uint256 lPerTradeLimitedPrice = aPrevClampedPrice.fullMulDiv(1e18 - maxChangePerTrade , 1e18);
                 rClampedPrice = lRateLimitedPrice.max(lPerTradeLimitedPrice);
+                assert(rClampedPrice > aCurrRawPrice);
             }
             rClampedLogPrice = LogCompression.toLowResLog(rClampedPrice);
         }

Original file line number	Diff line number	Diff line change
`@@ -580,11 +580,12 @@ abstract contract ReservoirPair is IAssetManagedPair, ReservoirERC20 {`
`580`	`580`	`uint256 lRateLimitedPrice = aPrevClampedPrice.fullMulDiv(1e18 + maxChangeRate * aTimeElapsed, 1e18);`
`581`	`581`	`uint256 lPerTradeLimitedPrice = aPrevClampedPrice.fullMulDiv(1e18 + maxChangePerTrade, 1e18);`
`582`	`582`	`rClampedPrice = lRateLimitedPrice.min(lPerTradeLimitedPrice);`
	`583`	`+ assert(rClampedPrice < aCurrRawPrice);`
`583`	`584`	`} else {`
`584`		`- assert(aPrevClampedPrice > aCurrRawPrice);`
`585`	`585`	`uint256 lRateLimitedPrice = aPrevClampedPrice.fullMulDiv(1e18 - maxChangeRate * aTimeElapsed, 1e18);`
`586`	`586`	`uint256 lPerTradeLimitedPrice = aPrevClampedPrice.fullMulDiv(1e18 - maxChangePerTrade , 1e18);`
`587`	`587`	`rClampedPrice = lRateLimitedPrice.max(lPerTradeLimitedPrice);`
	`588`	`+ assert(rClampedPrice > aCurrRawPrice);`
`588`	`589`	`}`
`589`	`590`	`rClampedLogPrice = LogCompression.toLowResLog(rClampedPrice);`
`590`	`591`	`}`