Function: init(address _stakeMangerAddress, address _govStakeMangerAddress)

Initializes the contract.

Inputs

• _stakeMangerAddress

  • Control: Fully controlled by the caller.

  • Constraints: None.

  • Impact: The stake manager address.

• _govStakeMangerAddress

  • Control: Fully controlled by the caller.

  • Constraints: None.

  • Impact: The gov stake manager address.

Branches and code coverage (including function calls)

Intended branches

• Set the stake manager address.

  Test coverage

• Set the gov stake manager address.

  Test coverage

• Rename to _stakeManagerAddress and _govStakeManagerAddress.

  Test coverage

• Assure _stakeMangerAddress and _govStakeMangerAddress are not zero.

  Test coverage

• Assure _stakeMangerAddress and _govStakeMangerAddress are not the same.

  Test coverage

Negative behavior

• Should not allow being called twice. Partly ensured through require(stakeManagerAddress() == address(0), "already init");.

  Negative test