add back low <= high asserts

reserve-protocol · Jan 22, 2024 · dd28e02 · dd28e02
1 parent 4beaab9
commit dd28e02
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/contracts/plugins/assets/curve/CurveStableCollateral.sol b/contracts/plugins/assets/curve/CurveStableCollateral.sol
@@ -66,6 +66,7 @@ contract CurveStableCollateral is AppreciatingFiatCollateral, PoolTokens {
         // {UoA/tok} = {UoA} / {tok}
         low = aumLow.div(supply, FLOOR);
         high = aumHigh.div(supply, CEIL);
+        assert(low <= high); // not obviously true just by inspection
 
         return (low, high, 0);
     }

diff --git a/contracts/plugins/assets/curve/CurveStableMetapoolCollateral.sol b/contracts/plugins/assets/curve/CurveStableMetapoolCollateral.sol
@@ -97,6 +97,7 @@ contract CurveStableMetapoolCollateral is CurveStableCollateral {
         // {UoA/tok} = {UoA} / {tok}
         low = aumLow.div(supply, FLOOR);
         high = aumHigh.div(supply, CEIL);
+        assert(low <= high); // not obviously true just by inspection
 
         return (low, high, 0);
     }