We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent dc5a6df commit 11c0f42Copy full SHA for 11c0f42
src/machine.rs
@@ -532,7 +532,7 @@ pub struct MiriMachine<'tcx> {
532
/// Needs to be queried by ptr_to_int, hence needs interior mutability.
533
pub(crate) rng: RefCell<StdRng>,
534
535
- /// The allocator used for the machine's `AllocBytes`.
+ /// The allocator used for the machine's `AllocBytes` in native-libs mode.
536
#[cfg(target_os = "linux")]
537
pub(crate) allocator: Rc<RefCell<crate::alloc::isolated_alloc::IsolatedAlloc>>,
538
0 commit comments