Assessment reports>Staking>Threat Model>claimable

Function: claimable(address _account)

Returns the amount of tokens that are done with vesting and are claimable for a specific account.

Inputs

  • _account

    • Control: Full.

    • Constraints: None.

    • Impact: The account.

Branches and code coverage (including function calls)

Intended branches

  • Returns the claimable amount.

Negative behavior

  • Does not return the same amount after a claim.

Zellic © 2024Back to top ↑