Function: withdrawTokensTo(uint256 amount, address to)

This function transfers the paymentToken from this contract to the given address. This function is only for the contract owner.

Inputs

• amount

  • Control: Completely controlled by the caller.

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

  • Impact: The amount to transfer.

• to

  • Control: Completely controlled by the caller.

  • Constraints: The value must not be zero.

  • Impact: The address to transfer.

Branches and code coverage

Intended branches

• Transfer the tokens to the given address.

  Test coverage

Negative behavior

• Revert when the caller is not an owner.

  Negative test