Skip to main content

Module replay_departure

Module replay_departure 

Source
Expand description

Bounded observations of a faithful preemption replay leaving its history. These observations do not establish a timer cause or a common replay prefix.

Structs§

Finding
One observed change point, with coordinates from the observing run.
Summary
A bounded run diagnostic: detections are counted, only the first is retained.

Enums§

Source
The production point that observed a nonadvancing change point.