List of all items

Structs

• audit::AuditEntry
• audit::AuditReport
• audit::CoverageSummary
• audit::TracePart
• diff::DiffDetail
• diff::DiffEntry
• diff::DiffReport
• diff::DiffSummary
• types::Condition
• types::EdgeGuard
• types::Field
• types::Function
• types::Invariant
• types::Module
• types::Param
• types::Property
• types::SourceTrace
• types::Struct
• verify::Obligation
• verify::VerifyError

Enums

• audit::SpecItemKind
• diff::ChangeKind
• types::ArithOp
• types::CmpOp
• types::IrExpr
• types::IrLiteral
• types::IrType
• types::Postcondition
• types::PropertyValue
• verify::ObligationKind
• verify::VerifyErrorKind

Functions

• audit::generate_audit
• diff::diff_reports
• lower::lower_file
• verify::analyze_obligations
• verify::verify_module