Function: claim(address account)

Claim accrued tokens.

Inputs

• account

  • Control: Controlled by the user, but the caller must be the account or a delegate of the account.

  • Constraints: N/A.

  • Impact: Account to claim for.

Branches and code coverage (including function calls)

Intended branches

• Successfully claim tokens.

  Test coverage

Negative behavior

• Revert due to the account with zero points.

  Negative test

• Revert due to the account with zero claimable tokens.

  Negative test

Function call analysis

• claim -> vestingToken.transferFrom(treasury, msg.sender, claimable)

  • What is controllable? N/A.

  • If return value controllable, how is it used and how can it go wrong? N/A.

  • What happens if it reverts, reenters, or does other unusual control flow? N/A.