Constant miri::machine::NUM_CPUS

source · [−]
pub const NUM_CPUS: u64 = 1;