Function: withdrawTokensTo(address to, uint256 amount, address token)

This function transfers the supported tokens from this contract to the given address. The caller must be the owner.

Inputs

• to

  • Control: Fully controlled by the caller.

  • Constraints: The value must not be zero.

  • Impact: The address to transfer the tokens to.

• amount

  • Control: Fully controlled by the caller.

  • Constraints: This contract must have enough tokens, and this value must be greater than zero.

  • Impact: The amount of tokens to transfer.

• token

  • Control: Fully controlled by the caller.

  • Constraints: The token must be supported by this contract.

  • Impact: The token to transfer.

Branches and code coverage

Intended branches

• Transfer the supported tokens to the given address.

  Test coverage

Negative behavior

• Revert when the caller is not the owner.

  Negative test