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

- e -

• efx8 : erff.c
• errno : nextafter.c, stdlib.c
• erx : erff.c
• esbmc_array_count : solidity_misc.c
• ESBMC_GENERATED_MARKER : test_gen_guard.h
• esbmc_object_size_whole : c_builtins.h
• esbmc_solvers : solve.cpp
• esbmc_stack_size : main.cpp
• expr_names : irep2_expr.cpp
• extensions_ansi_c : mode.cpp
• extensions_cpp : mode.cpp
• extensions_jimple : mode.cpp
• extensions_ld : mode.cpp
• extensions_python : mode.cpp
• extensions_sol_ast : mode.cpp