Function: finalizeValidatorSetUpdate()

This function can be called to finalize a validator set update, making it effective.

Branches and code coverage (including function calls)

Intended branches

• Check that an update is pending and that the dispute period has elapsed, then finalizes the update by updating various storage variables.

  Test coverage

Negative behavior

• Reverts if no update is pending.

  Negative test

• Reverts if the dispute period has not elapsed.

  Negative test

Function call analysis

• rootFunction -> checkDisputePeriod(pendingValidatorSetUpdate.updateTime, pendingValidatorSetUpdate.updateBlockNumber)

  • What is controllable? Nothing directly.

  • If return value controllable, how is it used and how can it go wrong? N/A.

  • What happens if it reverts, reenters, or does other unusual control flow? Reverts bubble up; reentrancy is not possible (no external calls).

• rootFunction -> finalizeValidatorSetUpdateInner()

  • What is controllable? N/A.

  • If return value controllable, how is it used and how can it go wrong? N/A.

  • What happens if it reverts, reenters, or does other unusual control flow? Reverts bubble up; reentrancy is not possible (no external calls).