Function: withdraw(address _l2Token, uint256 _amount, uint32 _l1Gas, byte[] _data)

Initiates withdrawal.

Inputs

• _l2Token

  • Control: User.

  • Constraints: Discarded.

  • Impact: Determines the token that the user wants to withdraw from L2 to L1.

• _amount

  • Control: User.

  • Constraints: Discarded.

  • Impact: Amount of tokens to withdraw.

• _l1Gas

  • Control: User.

  • Constraints: Discarded.

  • Impact: Amount of gas for execution of the message.

• _data

  • Control: User.

  • Constraints: Discarded.

  • Impact: Optional data.

Branches and code coverage (including function calls)

Intended branches

• Successfuly withdraws if all conditions are met.

  Test coverage