miri/concurrency/mod.rs
1pub mod cpu_affinity;
2pub mod data_race;
3mod data_race_handler;
4pub mod init_once;
5pub mod sync;
6pub mod thread;
7mod vector_clock;
8pub mod weak_memory;
9
10// Import either the real genmc adapter or a dummy module.
11#[cfg_attr(not(feature = "genmc"), path = "genmc/dummy.rs")]
12mod genmc;
13
14pub use self::data_race_handler::{AllocDataRaceHandler, GlobalDataRaceHandler};
15pub use self::genmc::{GenmcConfig, GenmcCtx};
16pub use self::vector_clock::VClock;