Function: setTreasury(address _treasury)

Sets the treasury address.

Inputs

• _treasury

  • Control: Full.

  • Constraints: Discarded.

  • Impact: Sets the treasury address.

Branches and code coverage (including function calls)

Intended branches

• Successfully sets the treasury address by the owner.

  Test coverage

Negative behavior

• Reverts if called by a nonowner.

  Negative test