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

This allows the owner to withdraw ERC-20 token.

Inputs

• token

  • Control: Fully controlled by the owner.

  • Constraints: None.

  • Impact: The ERC-20 token is transferred to to.

• to

  • Control: Fully controlled by the owner.

  • Constraints: None.

  • Impact: The ERC-20 token is transferred to to.

• amount

  • Control: Fully controlled by the owner.

  • Constraints: None.

  • Impact: The ERC-20 token is transferred to to.

Branches and code coverage

Intended branches

• Allow owner to withdraw ERC-20 token.

  Test coverage

Negative behavior

• Assumes no malicious intent on behalf of the owner.

  Negative test

• Should not allow anyone other than the owner to call this function.

  Negative test