Module solana_libra_bytecode_verifier::acquires_list_verifier

This module implements a checker for verifying properties about the acquires list on function definitions. Function definitions must annotate the global resources (declared in that module) accesssed by BorrowGlobal, MoveFrom, and any transitive function calls The list of acquired resources (stored in FunctionDefinition's acquires_global_resources field) must have:

• No duplicate resources (checked by check_duplication)
• No missing resources (any resource acquired must be present)
• No additional resources (no extraneous resources not actually acquired)

Structs

AcquiresVerifier