Function: allocate(address _pool, uint256 _amountToDistribute)

This function is used to allocate shares to a pool with the specified amount.

Inputs

• _pool

  • Control: Arbitrary.

  • Constraints: Nonzero address.

  • Impact: Address of the pool to allocate shares to.

• _amountToDistribute

  • Control: Arbitrary.

  • Constraints: None.

  • Impact: Amount of shares to allocate.

Branches and code coverage

Intended branches

• Add the amount to distribute to the pool's amount to distribute and the coupon amounts to distribute.

  Test coverage

Negative behavior

• Revert if the pool address is not the caller.

  Negative test

• Revert if the coupon token balance is less than the amount to distribute.

  Negative test