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