Function: withdraw(uint256 amount)

This function withdraws the unstaked tokens.

Inputs

• amount

  • Control: Fully controlled by the caller.

  • Constraints: Must be less than the amount under the cooldown period.

  • Impact: Amount of tokens that would be transferred to the caller.

Branches and code coverage

Intended branches

• Decrease the cooldown amount of user.

  Test coverage

• Transfer the tokens to the user.

  Test coverage

Negative behavior

• Contract is not paused.

  Negative test

• Amount is nonzero.

  Negative test

• Amount is less than the cooldown amount of the user.

  Negative test

• Cooldown period has passed.

  Negative test