miri::alloc

Module alloc_bytes

Source

Structs§

MiriAllocBytes
Allocation bytes that explicitly handle the layout of the data they’re storing. This is necessary to interface with native code that accesses the program store in Miri.

Enums§

MiriAllocParams