ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
alltypes.h File Reference
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros

#define __LITTLE_ENDIAN   1234
#define __BIG_ENDIAN   4321
#define __BYTE_ORDER   __LITTLE_ENDIAN

Macro Definition Documentation

◆ __BIG_ENDIAN

#define __BIG_ENDIAN   4321

◆ __BYTE_ORDER

#define __BYTE_ORDER   __LITTLE_ENDIAN

◆ __LITTLE_ENDIAN

#define __LITTLE_ENDIAN   1234