Function: deposit(address token, uint256 amount)

Allows the owner to deposit tokens into the contract.

Inputs

• token

  • Control: Fully controlled.

  • Constraints: Assumed that the token is a valid ERC-20 token.

  • Impact: The token to deposit.

• amount

  • Control: Fully controlled.

  • Constraints: Will fail if msg.sender does not have enough tokens.

  • Impact: The amount of tokens to deposit.

Branches and code coverage

Intended branches

• Increase the balance of the token for the contract.

  Test coverage

• Decrease the balance of the token for the caller.

  Test coverage

• Adapt the reserve of the token by the amount deposited.

  Test coverage

Negative behavior

• Should not be callable by anyone other than the admin.

  Negative test