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

- a -

• abc_prefix : builtins.cpp
• addr : solidity_mapping.c
• all_cmd_options : esbmc_parseoptions.h, options.cpp
• all_integral : toml.hpp
• all_solvers : solve.cpp
• allow_binary_integers : toml.hpp
• allow_hexadecimal_integers : toml.hpp
• allow_literal_strings : toml.hpp
• allow_multi_line_strings : toml.hpp
• allow_octal_integers : toml.hpp
• allow_real_tabs_in_strings : toml.hpp
• allow_unicode_strings : toml.hpp
• always_false : toml.hpp