Function: executeSlash(uint256 slashIndex)

This function executes a queued slash request at slashIndex.

Inputs

• slashIndex

  • Control: Completely controlled by the caller.

  • Constraints: Must be a valid index into the slashRequests array.

  • Impact: Index of the slash request.

Branches and code coverage (including function calls)

Intended branches

• Vault is slashed.

  Checked

• Hook on delegator is called if it is set.

  Unchecked

Negative behavior

• Reverts if slashedAmount is an invalid index.

  Checked

• Reverts if vote window is still active.

  Checked

• Reverts if captureTimestamp of request is not in the current epoch.

  Checked

• Reverts if request is already completed.

  Checked