Function: initialize(uint256 _initialSupply, address _owner)

Initializes the contract.

Inputs

• _initialSupply

  • Control: Full.

  • Constraints: Needs to be something other than 0.

  • Impact: Discarded.

• _owner

  • Control: Full.

  • Constraints: Discarded.

  • Impact: Discarded.

Branches and code coverage (including function calls)

Intended branches

• Successfully initializes if all conditions are met.

  Test coverage

Negative behavior

• Reverts if _initialSupply is equal to 0 or the owner is not _owner.

  Negative test