Function: depositERC20To(address _l1Token, address _l2Token, address _to, uint256 _amount, uint32 _l2Gas, byte[] _data)

Initiates deposit to address _l2Token.

Inputs

• _l1Token

  • Control: User.

  • Constraints: Discarded.

  • Impact: Address of the L1 ERC-20 being deposited.

• _l2Token

  • Control: User.

  • Constraints: Discarded.

  • Impact: Address of the L1 respective L2 ERC-20.

• _to

  • Control: User.

  • Constraints: Discarded.

  • Impact: Account to give the deposit to on L2.

• _amount

  • Control: User.

  • Constraints: Discarded.

  • Impact: Amount of the ERC-20 to deposit.

• _l2Gas

  • Control: User.

  • Constraints: Discarded.

  • Impact: Gas limit required to complete the deposit on L2.

• _data

  • Control: User.

  • Constraints: Discarded.

  • Impact: Optional data to forward to L2.

Branches and code coverage (including function calls)

Intended branches

• Successfully initiates deposit if all conditions are met.

  Test coverage

Negative behavior

• Checked.

  Negative test