Module miri::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.