CBMC
|
#include <miniz.h>
mz_zip_error mz_zip_archive::m_last_error |
mz_alloc_func mz_zip_archive::m_pAlloc |
mz_free_func mz_zip_archive::m_pFree |
mz_file_read_func mz_zip_archive::m_pRead |
mz_realloc_func mz_zip_archive::m_pRealloc |
mz_zip_internal_state* mz_zip_archive::m_pState |
mz_file_write_func mz_zip_archive::m_pWrite |
mz_zip_mode mz_zip_archive::m_zip_mode |
mz_zip_type mz_zip_archive::m_zip_type |