Struct ReporterHarness 

pub struct ReporterHarness { /* private fields */ }

Owns the channels and sink needed to build a Reporter for tests.

The matching event receiver and command sender are kept alive for the harness’s lifetime, so a reporter built from Self::reporter never sees a spurious disconnect while emitting facts.

Implementations

impl ReporterHarness

pub fn new() -> Self

Build a harness with empty channels and an empty sink.

pub fn reporter(&mut self, step: StepId) -> Reporter<'_>

Build a reporter scoped to the given step. The reporter borrows the harness for its lifetime.

The entropy source is seeded with a fixed test seed, mirroring the runner, so actions that draw values (serials, nonces) work out of the box. Tests that need a specific seed can call Reporter::seed_entropy again.

pub fn facts(&self) -> &[StepFact]

Facts recorded by the harness’s transcript sink, in order.

Trait Implementations

impl Default for ReporterHarness

fn default() -> Self

Returns the “default value” for a type.