Function: unstake(address _depositToken, uint256 _amount)

Allows unstaking of tokens.

Inputs

• _depositToken

  • Control: The _depositToken is controlled by the caller.

  • Constraints: Checked that the token is whitelisted (isDepositToken).

  • Impact: The token to be unstaked.

• _amount

  • Control: The _amount is controlled by the caller.

  • Constraints: Checked that the amount is greater than zero. Also, in safeTransfer call, it is checked that the _account has enough balance.

  • Impact: The amount of tokens to be unstaked.

Branches and code coverage (including function calls)

Intended branches

• Checks that the token is whitelisted (isDepositToken).

  Test coverage

• Checks that the amount is greater than zero.

  Test coverage

• Checks that the _account has enough balance (safeTransfer) --- also the check in depositBalances.

  Test coverage

• Decreases the total deposit supply for the _depositToken.

  Test coverage

• Decreases the depositBalances for the _account.

  Test coverage

• Decreases the stakedAmounts for the _account.

  Test coverage

• Decreases the balances for the _account (by burning this contract's tokens).

  Test coverage

• Transfers the _amount of deposit tokens back to the _account.

  Test coverage

Negative behavior

• Should not allow withdrawing more than the staked amount.

  Negative test

• Should not be callable if isPrivateStakingMode is true.

  Negative test

• Assumes user cannot unstake a token that they have not staked. That is handled by the depositBalances decrease.

  Negative test

• Should not allow unstaking more tokens than the user has staked.

  Negative test