Function: addOwner(address owner)

The function is used to add a new owner for the smart account.

Inputs

• owner

  • Control: Fully controlled by caller.

  • Constraints: Should not be address(0).

  • Impact: The owner becomes a new owner of the smart account.

Branches and code coverage

Intended branches

• The mapping _smartAccountOwners is set to true for the owner.

  Test coverage

• The value of numberOfOwners mapping increases for msg.sender.

  Test coverage

Negative behavior

• Revert if owner is a smart contract.

  Negative test

• Revert if owner is address(0).

  Negative test

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

  Negative test