cprover
|
#include "config.h"
#include <cstdlib>
#include "arith_tools.h"
#include "cmdline.h"
#include "cprover_prefix.h"
#include "exception_utils.h"
#include "namespace.h"
#include "simplify_expr.h"
#include "std_expr.h"
#include "string2int.h"
#include "string_utils.h"
#include "symbol_table.h"
Go to the source code of this file.
Functions | |
static irep_idt | string_from_ns (const namespacet &ns, const std::string &what) |
static unsigned | unsigned_from_ns (const namespacet &ns, const std::string &what) |
Variables | |
configt | config |
|
static |
Definition at line 1119 of file config.cpp.
|
static |
Definition at line 1142 of file config.cpp.
configt config |
Definition at line 24 of file config.cpp.