|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Go to the source code of this file.
Macros | |
| #define | CHAR_BIT __CHAR_BIT__ |
| #define | MB_LEN_MAX 1 |
| #define | SCHAR_MIN ((-__SCHAR_MAX__) - 1) |
| #define | SCHAR_MAX __SCHAR_MAX__ |
| #define | UCHAR_MAX (255) |
| #define | CHAR_MIN 0 |
| #define | CHAR_MAX UCHAR_MAX |
| #define | SHRT_MAX __SHRT_MAX__ |
| #define | SHRT_MIN ((-__SHRT_MAX__) - 1) |
| #define | USHRT_MAX (SHRT_MAX * 2U + 1U) |
| #define | INT_MAX __INT_MAX__ |
| #define | INT_MIN (-INT_MAX - 1) |
| #define | UINT_MAX (INT_MAX * 2U + 1U) |
| #define | LONG_MAX __LONG_MAX__ |
| #define | LONG_MIN (-LONG_MAX - 1L) |
| #define | ULONG_MAX (LONG_MAX * 2UL + 1UL) |
| #define | LLONG_MAX __LONG_LONG_MAX__ |
| #define | LLONG_MIN (-LLONG_MAX - 1LL) |
| #define | ULLONG_MAX (LLONG_MAX * 2ULL + 1ULL) |
| #define CHAR_BIT __CHAR_BIT__ |
| #define CHAR_MAX UCHAR_MAX |
| #define CHAR_MIN 0 |
| #define INT_MAX __INT_MAX__ |
| #define INT_MIN (-INT_MAX - 1) |
| #define LLONG_MAX __LONG_LONG_MAX__ |
| #define LLONG_MIN (-LLONG_MAX - 1LL) |
| #define LONG_MAX __LONG_MAX__ |
| #define LONG_MIN (-LONG_MAX - 1L) |
| #define MB_LEN_MAX 1 |
| #define SCHAR_MAX __SCHAR_MAX__ |
| #define SCHAR_MIN ((-__SCHAR_MAX__) - 1) |
| #define SHRT_MAX __SHRT_MAX__ |
| #define SHRT_MIN ((-__SHRT_MAX__) - 1) |
| #define UCHAR_MAX (255) |
| #define UINT_MAX (INT_MAX * 2U + 1U) |
| #define ULLONG_MAX (LLONG_MAX * 2ULL + 1ULL) |
| #define ULONG_MAX (LONG_MAX * 2UL + 1UL) |
| #define USHRT_MAX (SHRT_MAX * 2U + 1U) |