miri
1.78.0
(9b00956e5 2024-04-29)
Module linux
Modules
In miri::shims::unix
?
Module
miri
::
shims
::
unix
::
linux
source
·
[
−
]
Modules
§
fd
foreign_items
mem
This follows the pattern in src/shims/unix/mem.rs: We only support uses of mremap that would correspond to valid uses of realloc.
sync