Function: initForSmartAccount(address[] eoaOwners)

Initializes the module for a smart account.

Inputs

• eoaOwners

  • Control: Fully controlled by the caller.

  • Constraints: No constraints.

  • Impact: These addresses become the owners of the smart account.

Branches and code coverage

Intended branches

• Update the _smartAccountOwners mapping for all the eoaOwners.

  Test coverage

• Update the numberOfOwners mapping for msg.sender.

  Test coverage

Negative behavior

• Revert if any of the eoaOwners is address(0).

  Negative test

• Revert if numberOfOwners[msg.sender] is nonzero.

  Negative test

• Revert if any of the eoaOwners is already an owner for the smart account.

  Negative test