miri/alloc/
mod.rs

1mod alloc_bytes;
2#[cfg(target_os = "linux")]
3pub mod isolated_alloc;
4
5pub use self::alloc_bytes::{MiriAllocBytes, MiriAllocParams};