Loading...

Searching...

No Matches

config.cpp File Reference

#include "config.h"
#include "arith_tools.h"
#include "cmdline.h"
#include "cprover_prefix.h"
#include "exception_utils.h"
#include "namespace.h"
#include "pointer_expr.h"
#include "simplify_expr.h"
#include "string2int.h"
#include "string_utils.h"
#include "symbol_table_base.h"
#include <climits>
#include <cstdlib>

+ Include dependency graph for config.cpp:

[フレーム]

Go to the source code of this file.

Functions

configt::bv_encodingt parse_object_bits_encoding (const std::string &argument, const std::size_t pointer_width)

Parses the object_bits argument from the command line arguments.

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

◆ parse_object_bits_encoding()

configt::bv_encodingt parse_object_bits_encoding ( const std::string & argument,

const std::size_t pointer_width

)

Parses the object_bits argument from the command line arguments.

Parameters: argument The command line argument to parse the object_bits from.

pointer_width The width of a pointer in bits. This is used to check the value of object_bits is within the valid range.

Returns: A bv_encodingt on successful parsing. In the case where an invalid argument is specified, an invalid_command_line_argument_exceptiont will be thrown.

Definition at line 840 of file config.cpp.

◆ string_from_ns()

static irep_idt string_from_ns ( const namespacet & ns,

const std::string & what

)

static

Definition at line 1312 of file config.cpp.

◆ unsigned_from_ns()

static unsigned unsigned_from_ns ( const namespacet & ns,

const std::string & what

)

static

Definition at line 1335 of file config.cpp.

Variable Documentation

◆ config

configt config

Definition at line 25 of file config.cpp.