Function: _addRewardsToMarket(address market, uint128 anzenAmount)

This function is used to allocate new Anzen rewards to the specified market and update the reward status of the market.

Inputs

• market

  • Control: Arbitrary.

  • Constraints: None.

  • Impact: The address of the market.

• anzenAmount

  • Control: Arbitrary.

  • Constraints: None.

  • Impact: The amount of Anzen rewards to allocate to the market.

Branches and code coverage

Intended branches

• Get updated market-reward data and calculate unallocated rewards.

  Test coverage

• Calculate new reward rate and update market-reward data.

  Test coverage