Function: unstake(uint256 steUSDIn, uint256 mineUSDOut, address beneficiary)

Allows users to withdraw their staked eUSD tokens.

Inputs

• steUSDIn

  • Constraints: Should not be zero.

  • Impact: The amount of steUSD tokens to unstake.

• mineUSDOut

  • Constraints: N/A.

  • Impact: The minimum acceptable amount of eUSD tokens to receive.

• beneficiary

  • Constraints: N/A.

  • Impact: The beneficiary of the eUSD tokens.

Branches and code coverage (including function calls)

Intended branches

• Unstake tokens successfully.

  Test coverage

Negative behavior

• The contract call is reverted when eUSDOut is less than mineUSDOut.

  Negative test

Function call analysis

• unstake -> _unstake(steUSDIn, mineUSDOut, beneficiary)

  • External/Internal? Internal.

  • Argument control? steUSDIn, mineUSDOut, and beneficiary.

  • Impact: N/A.