Module utils 

Structs

RegionMigrationAnalysis 🔒

Represents the result of analyzing a migration task.

RegionMigrationTaskBatch

A migration task describing how regions are intended to move between peers.

Functions

analyze_region_migration_task

Analyzes the migration task and categorizes regions by their current state.

has_leader_changed 🔒

Returns true if the leader peer of the region has changed.

has_migrated 🔒

Returns true if the region has already been migrated to to_peer.

has_peer_conflict 🔒

Returns true if to_peer is already a follower of the region (conflict).

leader_peer 🔒

update_result_with_region_route 🔒

Updates the verification result based on a single region route.