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 1126 of file config.cpp.
|
static |
Definition at line 1149 of file config.cpp.
configt config |
Definition at line 24 of file config.cpp.