cprover
|
Go to the source code of this file.
Classes | |
class | configt |
Globally accessible architectural configuration. More... | |
struct | configt::ansi_ct |
struct | configt::cppt |
struct | configt::verilogt |
struct | configt::javat |
struct | configt::bv_encodingt |
Macros | |
#define | OPT_CONFIG_C_CPP |
#define | HELP_CONFIG_C_CPP |
#define | OPT_CONFIG_LIBRARY |
#define | HELP_CONFIG_LIBRARY |
#define | OPT_CONFIG_JAVA "(classpath)(cp)(main-class)" \ |
#define | OPT_CONFIG_PLATFORM |
#define | HELP_CONFIG_PLATFORM |
#define | OPT_CONFIG_BACKEND "(object-bits):" \ |
#define | HELP_CONFIG_BACKEND " --object-bits n number of bits used for object addresses\n" |
Variables | |
configt | config |
#define HELP_CONFIG_C_CPP |
#define HELP_CONFIG_LIBRARY |
#define HELP_CONFIG_PLATFORM |
#define OPT_CONFIG_C_CPP |
#define OPT_CONFIG_LIBRARY |
#define OPT_CONFIG_PLATFORM |
|
extern |
Definition at line 25 of file config.cpp.