cprover
Loading...
Searching...
No Matches
mz_zip_array Struct Reference

Public Attributes

void * m_p
size_t m_size
size_t m_capacity
mz_uint m_element_size

Detailed Description

Definition at line 3324 of file miniz.cpp.

Member Data Documentation

◆ m_capacity

size_t mz_zip_array::m_capacity

Definition at line 3327 of file miniz.cpp.

◆ m_element_size

mz_uint mz_zip_array::m_element_size

Definition at line 3328 of file miniz.cpp.

◆ m_p

void* mz_zip_array::m_p

Definition at line 3326 of file miniz.cpp.

◆ m_size

size_t mz_zip_array::m_size

Definition at line 3327 of file miniz.cpp.


The documentation for this struct was generated from the following file:
  • /builddir/build/BUILD/cbmc-6.7.0-build/cbmc-cbmc-6.7.0/jbmc/src/miniz/miniz.cpp