__esbmc_file_t Struct Reference

#include <stdio.h>

Public Attributes
unsigned char	__dummy [64]

Member Data Documentation

__dummy

unsigned char __esbmc_file_t::__dummy[64]

---

The documentation for this struct was generated from the following file:

• src/c2goto/headers/stdio.h