Function: depositETH(uint32 _l2Gas, byte[] _data)

Deposits ETH.

Inputs

• _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 deposits ETH if all conditions are met.

  Test coverage

Negative behavior

• Reverts if the caller is not EOA.

  Negative test