Expand description
Ergonomic, borrowed view over a SeriesVerdict and its Diagnostics.
The check verbs and check batch carry the same verdict and diagnostic
payloads in different envelopes. This view holds the query and finding
accessors once so both paths read identically: a BatchResult row reaches
it through BatchResult::evaluation, and the driver’s single-check
SeriesEvaluation through its own view.
Structs§
- Behaviour
Module Missing Finding - Borrowed view of one
Reason::BehaviourModuleMissingwith its owning pin. - Header
File Missing Finding - Borrowed view of one
Reason::HeaderFileMissingwith its owning pin. - Series
Evaluation View - Borrowed accessors over a
SeriesVerdictand itsDiagnostics. - Test
Module Symbol Missing Finding - Borrowed view of one
Reason::TestModuleSymbolMissingwith its owning pin. - Versioned
Machine Snapshot Missing Finding - Borrowed view of one
Reason::VersionedMachineSnapshotMissingwith its owning pin. - Wire
Constant Bindings Missing Finding - Borrowed view of one
Reason::WireConstantBindingsMissingwith its owning pin.
Enums§
- Aggregate
Verdict - Aggregate verdict across the pins of a series.