Function: deposit_erc20(address tokenAddress, uint256 amount)

This function is for depositing ERC-20 tokens to the contract.

Inputs

• tokenAddress

  • Control: Fully controlled by the caller.

  • Constraints: The address must be nonzero.

  • Impact: Address of the token.

• amount

  • Control: Fully controlled by the caller.

  • Constraints: Must be nonzero.

  • Impact: Amount to transfer.

Branches and code coverage

Intended branches

• Transfer the expected amount of the tokens.

  Test coverage

Negative behavior

• Revert when the token address is zero.

  Negative test

• Revert when the amount is zero.

  Negative test

• Revert when the transfer fails.

  Negative test