Assessment reports>Programmable Derivatives>Threat Model>increaseReserveCap

Function: increaseReserveCap(uint256 newReserveCap)

This function is used to increase the reserve cap. It can only be called by the owner before the deposit end time.

Inputs

  • newReserveCap

    • Control: Arbitrary.

    • Constraints: Must be greater than the current reserve cap.

    • Impact: The new maximum reserve amount.

Branches and code coverage

Intended branches

  • Update the reserve cap to the new reserve cap.

Negative behavior

  • Revert if the caller is not the owner.

  • Revert if the new reserve cap is less than or equal to the current reserve cap.

  • Revert if the deposit period has ended.

  • Revert if the pool has already been created.

Zellic © 2025Back to top ↑