CBMC
|
#include <miniz.h>
Public Attributes | |
const unsigned char * | next_in |
unsigned int | avail_in |
mz_ulong | total_in |
unsigned char * | next_out |
unsigned int | avail_out |
mz_ulong | total_out |
char * | msg |
struct mz_internal_state * | state |
mz_alloc_func | zalloc |
mz_free_func | zfree |
void * | opaque |
int | data_type |
mz_ulong | adler |
mz_ulong | reserved |
struct mz_internal_state* mz_stream_s::state |
mz_alloc_func mz_stream_s::zalloc |
mz_free_func mz_stream_s::zfree |