Skip to main content

miri/concurrency/
mod.rs

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