Function: zapOutToToken1(address receiver, SingleTokenSwap swapData, KodiakVaultUnstakingParams unstakeParams, VaultRedeemParams redeemParams)

This zaps out to get token1.

Inputs

• receiver

  • Control: Fully controlled by the caller.

  • Constraints: N/A.

  • Impact: Address to receive token1.

• swapData

  • Control: Fully controlled by the caller.

  • Constraints: N/A.

  • Impact: Information of swapping token0 to token1.

• unstakeParams

  • Control: Fully controlled by the caller.

  • Constraints: N/A.

  • Impact: Information of unstaking from the Kodiak Vault.

• redeemParams

  • Control: Fully controlled by the caller.

  • Constraints: N/A.

  • Impact: Information of redeeming from the vault.

Branches and code coverage

Intended branches

• Check if the amount of token0 received by Zapper is not zero.

  Test coverage

• Check if the amount of token1 received by Zapper is not zero.

  Test coverage

• Transfer token1 to the receiver.

  Test coverage

• Transfer remaining token0 to the caller.

  Test coverage