Assessment reports>Alkimiya>Threat Model>redeemShort

Function: redeemShort(PoolParams shortParams)

This function is used to redeem short shares for the payout token.

Inputs

  • shortParams

    • Control: Arbitrary.

    • Constraints: None.

    • Impact: Pool parameters.

Branches and code coverage

Intended branches

  • Calculates the payout amount using the caller's share balance and pool parameters.

  • Burns the caller's short shares.

  • Transfers the payout amount to the caller.

Zellic © 2024Back to top ↑