user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

use more clever approach for genmc conditional import

Browse source
This commit is contained in:
Ralf Jung 2025-07-02 15:16:03 +02:00
parent 5ce7a04910
commit 8fc0fd5a80
1 changed files with 3 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

15
src/tools/miri/src/concurrency/mod.rs
View file

@ -9,18 +9,9 @@ mod vector_clock;
pub mod weak_memory;
// Import either the real genmc adapter or a dummy module.
cfg_select! {
feature = "genmc" => {
mod genmc;
pub use self::genmc::{GenmcCtx, GenmcConfig};
}
_ => {
#[path = "genmc/dummy.rs"]
mod genmc_dummy;
use self::genmc_dummy as genmc;
pub use self::genmc::{GenmcCtx, GenmcConfig};
}
}
#[cfg_attr(not(feature = "genmc"), path = "genmc/dummy.rs")]
mod genmc;
pub use self::data_race_handler::{AllocDataRaceHandler, GlobalDataRaceHandler};
pub use self::genmc::{GenmcConfig, GenmcCtx};
pub use self::vector_clock::VClock;