Module sway_ir::verify

Code to validate the IR in a Context.

During creation, deserialization and optimization the IR should be verified to be in a consistent valid state, using the functions in this module.

Structs

• ModuleVerifierResult

Constants

• MODULE_VERIFIER_NAME

Functions

• create_module_verifier_pass
• module_verifier
  Verify module