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// On unsupported platforms, we always include the dummy module, even if the `genmc` feature is enabled.
12#[cfg_attr(
13    not(all(
14        feature = "genmc",
15        target_os = "linux",
16        target_pointer_width = "64",
17        target_endian = "little"
18    )),
19    path = "genmc/dummy.rs"
20)]
21mod genmc;
22
23pub use self::data_race_handler::{AllocDataRaceHandler, GlobalDataRaceHandler};
24pub use self::genmc::{ExitType, GenmcConfig, GenmcCtx, GenmcEvalContextExt, run_genmc_mode};
25pub use self::vector_clock::VClock;