Module verify 

Environment verification utilities.

Related verification functionality.

Structs

VerifyConfig

Configuration for verification.

VerifyResult

Result of an environment verification.

Enums

VerifyError

Types of verification errors.

Functions

check_lsns_against_tracker

Compare the live LSNs of a DatabaseImpl’s tree against the obsolete set recorded in the UtilizationTracker, adding a DataInconsistency error for each live LSN wrongly recorded as obsolete.

gather_tree_lsns

Gather the set of LIVE LSNs referenced by a B-tree.

verify_database_impl

Verify a DatabaseImpl’s B-tree structural integrity.

verify_tree

Verifies the structural integrity of a B-tree.