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

This zaps out to get token0.

Inputs

• receiver

  • Control: Fully controlled by the caller.

  • Constraints: N/A.

  • Impact: Address to receive token00.

• swapData

  • Control: Fully controlled by the caller.

  • Constraints: N/A.

  • Impact: Information of swap token1 to token0.

• 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 token0 to the receiver.

  Test coverage

• Transfer remaining token1 to the caller.

  Test coverage