Module bytecode::global_invariant_analysis

Structs

• GlobalInvariantAnalysisProcessor
• PerBytecodeRelevance
  A named struct for holding the information on how an invariant is relevant to a bytecode.
• PerFunctionRelevance
  A named struct for holding the information on how invariants are relevant to a function.

Functions

• get_info
  Get verification information for this function.