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;