Module move_stackless_bytecode::global_invariant_analysis

source · [−]

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.