pub external_so_file: Option<PathBuf>,
/// Run a garbage collector for SbTags every N basic blocks.
pub gc_interval: u32,
+ /// The number of CPUs to be reported by miri.
+ pub num_cpus: u32,
}
impl Default for MiriConfig {
retag_fields: false,
external_so_file: None,
gc_interval: 10_000,
+ num_cpus: 1,
}
}
}