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

This function is used to mint long and short tokens with collateral.

Inputs

• poolParams

  • Control: Arbitrary.

  • Constraints: None.

  • Impact: Pool parameters.

• shares

  • Control: Arbitrary.

  • Constraints: None.

  • Impact: Amount of shares to mint.

• longRecipient

  • Control: Arbitrary.

  • Constraints: None.

  • Impact: Address of the long recipient.

• shortRecipient

  • Control: Arbitrary.

  • Constraints: None.

  • Impact: Address of the short recipient.

Branches and code coverage

Intended branches

• Invokes _collateralizedMint with msg.sender as payer using the same parameters.

  Test coverage