Function: _collateralizedMint(PoolParams poolParams, uint256 shares, address payer, address longRecipient, address shortRecipient)

This function is used to mint long and short tokens for a pool.

Inputs

• poolParams

  • Control: Arbitrary.

  • Constraints: None.

  • Impact: Pool parameters.

• shares

  • Control: Arbitrary.

  • Constraints: None.

  • Impact: Amount of shares.

• payer

  • Control: Arbitrary.

  • Constraints: None.

  • Impact: Address of the payer of collateral.

• longRecipient

  • Control: Arbitrary.

  • Constraints: None.

  • Impact: Address of the recipient of long tokens.

• shortRecipient

  • Control: Arbitrary.

  • Constraints: None.

  • Impact: Address of the recipient of short tokens.

Branches and code coverage

Intended branches

• Calculates the collateral amount using the pool parameters.

  Test coverage

• Transfers the collateral from the payer to the contract.

  Test coverage

• Mints shares long and short tokens to the respective recipients.

  Test coverage

Negative behavior

• Reverts if the pool has already ended.

  Negative test