Function: startUnstake(uint256 unStakeAmount)

A request to add unstaking to vesting reduces only the balanceOf and totalSupply. The tokens are yet to be sent to the caller.

Inputs

• unStakeAmount

  • Control: Fully controlled by the caller.

  • Constraints: Must be greater than zero.

  • Impact: Amount of unstake.

Branches and code coverage

Intended branches

• Check if unStakeAmount is greater than zero.

  Test coverage

• Check if stakedTimes has not reached STAKING_LIMIT.

  Test coverage

• Check if unStakeAmount is less than the caller's balance.

  Test coverage

• Subtract balanceOf and totalSupply as much as unStakeAmount.

  Test coverage

• Push vesting request that contains start time, end time, and unStakeAmount.

  Test coverage

Negative behavior

• The unStakeAmount is less than zero.

  Negative test

• stakedTimes has reached STAKING_LIMIT.

  Negative test

• The unStakeAmount is greater than the caller's balance.

  Negative test