Constant miri::NUM_CPUS

source · 
pub const NUM_CPUS: u64 = 1;