cprover
config.cpp File Reference
#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"
+ Include dependency graph for config.cpp:

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
 

Function Documentation

◆ string_from_ns()

static irep_idt string_from_ns ( const namespacet ns,
const std::string &  what 
)
static

Definition at line 1126 of file config.cpp.

◆ unsigned_from_ns()

static unsigned unsigned_from_ns ( const namespacet ns,
const std::string &  what 
)
static

Definition at line 1149 of file config.cpp.

Variable Documentation

◆ config

configt config

Definition at line 24 of file config.cpp.