Inclusive conditions

[code423n4]

Handle

pauliax

Vulnerability details

Impact

Either the error message or condition is not exactly correct, to cover the case when newBalance = reserveBalance:

  require(newBalance < reserveBalance, "cannot increase reserve balance");

These conditions should probably also be inclusive:

  coolDown.redeemWindowBegin < block.timestamp &&
  block.timestamp < coolDown.redeemWindowEnd

[pauliax]

I am grouping all issues related to inclusive conditions together and marking this issue as primary because it contains both cases, redeem window, and balances. No significant impact, so leaving it with a non-critical severity.