Function: setExplicitAccess(address allowedCaller, ExplicitAccess[] access)

Sets the access for a certain caller.

Inputs

• allowedCaller

  • Control: Full.

  • Constraints: != 0.

  • Impact: The caller to be given the access.

• access

  • Control: Full.

  • Constraints: None.

  • Impact: The function selector to allow/deny.

Branches and code coverage

Intended branches

• Sets the specified access.

  Test coverage

Negative behavior

• Does not allow zero address.

  Negative test