initSidebarItems({"fn":[["verify_context","Verify `func` after checking the integrity of associated context data structures `cfg` and `domtree`."],["verify_cssa","Verify conventional SSA form for `func`."],["verify_function","Verify `func`."],["verify_liveness","Verify liveness information for `func`."],["verify_locations","Verify value locations for `func`."]],"struct":[["VerifierError","A verifier error."],["VerifierErrors","List of verifier errors."]],"type":[["VerifierResult","Result of a verification operation."],["VerifierStepResult","Result of a step in the verification process."]]});