shuttle 0.9.3

A library for testing concurrent Rust code
Documentation 
1
2
3
4
5
6
7
8
9
10

//! Implementations of different scheduling strategies for concurrency testing.

// Re-export core scheduler types from shuttle-engine
pub use shuttle_engine::scheduler::{DataSource, RandomDataSource, Schedule, Scheduler, Task, TaskId};

// Re-export scheduler implementations from shuttle-schedulers
pub use shuttle_schedulers::{
    AnnotationScheduler, DfsScheduler, PctScheduler, RandomScheduler, ReplayScheduler, RoundRobinScheduler,
    UncontrolledNondeterminismCheckScheduler, UrwRandomScheduler,
};