Skip to main content

Module fixed

shuttle_engine::scheduler::data

Module fixed 

Source

Structsยง

FixedDataSource
A FixedDataSource generates the same stream of non-determinism (from an underlying RandomDataSource) on every execution.