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