Module miri::shims::unix::linux::mem

source ·
Expand description

This follows the pattern in src/shims/unix/mem.rs: We only support uses of mremap that would correspond to valid uses of realloc.

Traits