Module verify 

Trace verification: checks the invariants a well-formed trace must obey.

Structs

VerifyIssue

A single verification finding.

VerifyReport

The result of verifying a trace.

Functions

is_graph_kind

Whether a kind participates in the semantic graph rebuild (nodes).

verify

Verify every invariant of a trace stream, consuming it.