Skip to main content

Module random

shuttle_engine::scheduler::data

Module random 

Source

Structsยง

RandomDataSource
A RandomDataSource generates non-deterministic data from a random number generator, and arranges to re-seed that RNG on each new execution to enable deterministic replay.