Function: withdraw(address token, uint256 amount)

This function withdraws a token after the cooldown period elapsed.

Inputs

• token

  • Control: Fully controlled by the caller.

  • Constraints: None.

  • Impact: Specifies the token to be withdrawn.

• amount

  • Control: Fully controlled by the caller.

  • Constraints: Must be less than the cooldown amount of the caller.

  • Impact: Specifies the amount of tokens to be withdrawn.

Branches and code coverage

Intended branches

• Decrease the cooldown amount of the caller.

  Test coverage

• Transfer the tokens to the caller.

  Test coverage

Negative behavior

• Contract is not paused.

  Negative test

• The cooldown period has passed.

  Negative test

• The caller has enough of a cooldown amount to withdraw.

  Negative test