Function: unlock(address token, uint256 amount)

This function unlocks a token.

Inputs

• token

  • Control: Fully controlled by the caller.

  • Constraints: None.

  • Impact: Specifies the token to be unlocked.

• amount

  • Control: Fully controlled by the caller.

  • Constraints: Must be less than the locked amount of the user.

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

Branches and code coverage

Intended branches

• Decrease the locked amount of the user.

  Test coverage

• Increase the cooldown amount of the user.

  Test coverage

• Update the cooldown period of the user.

  Test coverage

Negative behavior

• Contract is not paused.

  Negative test

• Caller has enough locked amount to unlock.

  Negative test