Here is a list of all macros with links to the files they belong to:

- e -

• ENABLE_COLOR : esbmc_parseoptions.h
• ENUM_TO_STR : solidity_grammar.cpp
• EOF : stdio.h
• EPS : __rem_pio2f.c
• error : bigint.cpp
• ESBMC_DEFINE_ARITH_1OP : irep2_expr.h
• ESBMC_DEFINE_ARITH_2OP : irep2_expr.h
• ESBMC_DEFINE_BIT_2OP : irep2_expr.h
• ESBMC_DEFINE_CODE_DECL : irep2_expr.h
• ESBMC_DEFINE_CODE_EXPRESSION_1OP : irep2_expr.h
• ESBMC_DEFINE_FP_PREDICATE_1OP : irep2_expr.h
• ESBMC_DEFINE_IEEE_ARITH_2OP : irep2_expr.h
• ESBMC_DEFINE_LOGIC_2OP : irep2_expr.h
• ESBMC_DEFINE_OBJECT_PREDICATE_1OP : irep2_expr.h
• ESBMC_DEFINE_OBJECT_SIZE_1OP : irep2_expr.h
• ESBMC_DEFINE_OVERFLOW_INT32_1OP : irep2_expr.h
• ESBMC_DEFINE_POINTER_1OP : irep2_expr.h
• ESBMC_DEFINE_RELATION2T : irep2_expr.h
• ESBMC_DEFINE_TYPE_ONLY : irep2_expr.h
• ESBMC_FLAIL : cprover_libc_sources.cpp, esbmc_internal_cpp.cpp, python_language.cpp
• ESBMC_FORMATS_START_ASSERTION : format.h
• ESBMC_NIL_SIMPLIFY : expr_simplifier.cpp
• ESBMC_PY_STRNLEN_BOUND : python_types.h
• EXIT_FAILURE : stdlib.h
• EXIT_SUCCESS : stdlib.h
• EXP2F_POLY_ORDER : exp2f_data.h
• EXP2F_TABLE_BITS : exp2f_data.h
• EXP_BIAS : frexp.c
• EXP_BITS : frexp.c
• EXP_MASK : frexp.c
• expr_macros : irep2_expr.h
• EXTRACT_WORDS : cprover_libc_sources.cpp, libm.h