miri/concurrency/
mod.rs

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