List of all items

Structs

• Diagnostic
• analysis::ClauseExplanation
• analysis::CoverageReport
• analysis::CoverageScenarioReport
• analysis::DiffReport
• analysis::DiffSummary
• analysis::ExplainReport
• analysis::ImpactReport
• analysis::IntentTestSpec
• analysis::ScenarioRow
• analysis::TestSpec
• smt::SmtEncoder
• typeck::EnumInfo
• typeck::FuncInfo
• typeck::IntentInfo
• typeck::StructInfo
• typeck::TypeEnv
• vcgen::SafetySource
• vcgen::VerificationCondition

Enums

• DiagLevel
• analysis::Change
• analysis::Lifecycle
• analysis::ModificationKind
• smt::VerifyResult
• typeck::Type
• vcgen::SmtDecl
• vcgen::VcKind

Functions

• analysis::coverage_report
• analysis::diff
• analysis::explain
• analysis::expr_to_text
• analysis::impact
• analysis::intent_lifecycle
• analysis::testspec
• smt::run_z3
• smt::verify_vc
• typeck::check_program
• vcgen::generate_vcs