Function: setClaimReceiverContract(address _receiverContract)

Sets the contract that will receive claimed funds.

Inputs

• _receiverContract

  • Control: Fully controlled.

  • Constraints: Cannot be address(0).

  • Impact: User funds are transferred to this contract when funds are claimed.

Branches and code coverage (including function calls)

Intended branches

• The claim receiver contract address is set successfully.

  Test coverage

• The required events are emitted.

  Test coverage

Negative behavior

• Should fail if not called by the owner.

  Negative test

• Should fail if the address of the contract is address(0).

  Negative test