Function: redeem(uint256 shares, address receiver, address owner)

This function overrides the redeem function of ERC-4626 and can be called when the cooldown is off.

Inputs

• shares

  • Control: Fully controlled by the caller.

  • Constraints: N/A.

  • Impact: Amount of shares to be redeemed.

• receiver

  • Control: Fully controlled by the caller.

  • Constraints: N/A.

  • Impact: Address of the receiver who will receive the redeemed assets.

• owner

  • Control: Fully controlled by the caller.

  • Constraints: N/A.

  • Impact: Owner's address of the vault shares to be burned for the withdrawal.

Branches and code coverage

Intended branches

• Check if the cooldown is off.

  Test coverage

• Call parent's redeem function.

  Test coverage

Negative behavior

• If the cooldown is not off, the transaction will be reverted.

  Negative test