Struct Runner 

pub struct Runner { /* private fields */ }

The per-run state a Strategy draws from: the random number generator and the backend’s bookkeeping.

It wraps proptest’s TestRunner. The seam owns this type so the backend does not appear in the property runner’s public signatures.

Implementations

impl Runner

pub fn deterministic() -> Runner

A runner with a fixed, reproducible seed: the same sequence of generated values on every run.

This is the default behind for_all. A property test that is reproducible cannot flake from the RNG: it passes or fails the same way every time, in CI and on a laptop. A caller who wants a fresh seed each run constructs one with Runner::randomized and passes it to for_all_with.

pub fn randomized() -> Runner

A runner seeded from the environment, or randomly when the environment says nothing, like a stock proptest run.

Trait Implementations

impl Default for Runner

fn default() -> Runner

The reproducible runner, the same as Runner::deterministic.