miri

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.