ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
alltypes.h
Go to the documentation of this file.
1#ifndef _ALLTYPES_H
2#define _ALLTYPES_H
3
4/*
5 * Edoardo Manino: this is supposed to be a platform-dependent
6 * header file in MUSL. We replace it here with a minimal file
7 */
8
9#define __LITTLE_ENDIAN 1234
10#define __BIG_ENDIAN 4321
11
12/* This macro controls the endianness throughout libm */
13#define __BYTE_ORDER __LITTLE_ENDIAN
14
15#endif