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.
12cfg_select! {
13    feature = "genmc" => {
14        mod genmc;
15        pub use self::genmc::{GenmcCtx, GenmcConfig};
16    }
17    _ => {
18        #[path = "genmc/dummy.rs"]
19        mod genmc_dummy;
20        use self::genmc_dummy as genmc;
21        pub use self::genmc::{GenmcCtx, GenmcConfig};
22    }
23}
24
25pub use self::data_race_handler::{AllocDataRaceHandler, GlobalDataRaceHandler};
26pub use self::vector_clock::VClock;