Expand description
The record of what a run actually did.
Properties are asserted over this rather than over protocol internals: a trace says what was sent, what arrived, what was lost, and what each protocol claimed to deliver, which is exactly the vocabulary the guarantees are written in.
Structs§
- OpId
- Names one operation given to a process, so a caller can find in the trace the thing it just asked for.
- Trace
- An ordered log of everything a run did.
Enums§
- Drop
Reason - Why a message never arrived.
- NotBegun
- Why an operation never reached the process it was given to.
- Trace
Event - One thing that happened, in order.
Type Aliases§
- Proto
Trace - The trace type for a given protocol.
- Proto
Trace Event - One event of a given protocol’s trace.