Function: initialize(address _l1messenger, address _l2TokenBridge, address _l1MantleAddress)

Initializes contract.

Inputs

• _l1messenger

  • Control: User.

  • Constraints: Discarded.

  • Impact: L1 messenger address being used for cross-chain communications.

• _l2TokenBridge

  • Control: User.

  • Constraints: Discarded.

  • Impact: L2 standard bridge address.

• _l1MantleAddress

  • Control: User.

  • Constraints: Discarded.

  • Impact: Initialize L1 mantle address.

Branches and code coverage (including function calls)

Intended branches

• Successfully initializes if all other conditions are met, such as the addresses being valid.

  Test coverage

Negative behavior

• Reverts if it is already called once.

  Negative test