Function: withdrawWithPenalty(uint256 amountToWithdraw)

Pay a penalty to withdraw locked tokens.

Inputs

• amountToWithdraw

  • Control: Controlled by the user.

  • Constraints: Must be less than or equal to the user's total locked amount, considering penalties for early withdrawal.

  • Impact: The amount of tokens to withdraw from active locks.

Branches and code coverage (including function calls)

Intended branches

• Successfully withdraw an amount.

  Test coverage

• Successful with maximum withdrawal.

  Test coverage

Negative behavior

• Test when the msg.sender is frozen.

  Negative test