Function: unstake(uint256 amount)

This function unstakes the staked token.

Inputs

• amount

  • Control: Fully controlled by the caller.

  • Constraints: Must be less than the balance of the caller.

  • Impact: Amount that will be unstaked.

Branches and code coverage

Intended branches

• Increase the cooldown amount of the caller.

  Test coverage

• Update the cooldown timestamp of the caller.

  Test coverage

• Burn the tokens of the caller.

  Test coverage

Negative behavior

• Contract is not paused.

  Negative test

• Amount is nonzero.

  Negative test

• Amount is less than the balance of the user.

  Negative test