Module miri::shims::unix::linux

source ·

Modules

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