Module bytecode::verification_analysis_v2

Analysis which computes an annotation for each function whether

Structs

• InvariantAnalysisData
• VerificationAnalysisProcessorV2
• VerificationInfoV2
  The annotation for information about verification.

Functions

• debug_print_inv_set
  Debugging code to print sets of invariants
• get_info
  Get verification information for this function.