Function: finalizeETHWithdrawal(address _from, address _to, uint256 _amount, byte[] _data)

Finalizes withdrawal of ETH from L2 to L1.

Inputs

• _from

  • Control: User.

  • Constraints: Discarded.

  • Impact: The address from which the tokens are transferred.

• _to

  • Control: User.

  • Constraints: Discarded.

  • Impact: The destination address for the transferred tokens.

• _amount

  • Control: User.

  • Constraints: Discarded.

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

• _data

  • Control: User.

  • Constraints: Discarded.

  • Impact: Optional data.

Branches and code coverage (including function calls)

Intended branches

• Successfully withdraws if all conditions are met.

  Test coverage

Negative behavior

• Reverts if called from a non-crossDomainMessenger L1 account.

  Negative test

• Reverts if called from the right crossDomainMessenger but wrong xDomainMessageSender.

  Negative test