ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
configt Class Reference

#include <config.h>

Classes

struct  triple
struct  language_stdt
struct  ansi_ct

Public Types

enum  data_model : uint64_t {
  IP16 = dm(8, 16, 16, 32, 16, 16, 64) , LP32 = dm(8, 16, 16, 32, 32, 16, 64) , IP32 = dm(8, 16, 32, 64, 32, 32, 96) , ILP32 = dm(8, 16, 32, 32, 32, 32, 96) ,
  LLP64 = dm(8, 16, 32, 32, 64, 64, 128) , ILP64 = dm(8, 16, 64, 64, 64, 64, 128) , LP64 = dm(8, 16, 32, 64, 64, 64, 128)
}

Public Member Functions

bool set (const cmdlinet &cmdline)

Static Public Member Functions

static std::string this_architecture ()
static std::string this_operating_system ()
static triple host ()

Public Attributes

struct configt::language_stdt language = {language_idt::NONE, ""}
struct configt::ansi_ct ansi_c
std::string main
std::string cname
std::unordered_set< std::string > no_slice_names
std::unordered_set< std::string > no_slice_ids
optionst options
std::vector< std::string > args

Member Enumeration Documentation

◆ data_model

Enumerator
IP16 
LP32 
IP32 
ILP32 
LLP64 
ILP64 
LP64 

Member Function Documentation

◆ host()

configt::triple configt::host ( )
static

◆ set()

bool configt::set ( const cmdlinet & cmdline)

◆ this_architecture()

std::string configt::this_architecture ( )
static

◆ this_operating_system()

std::string configt::this_operating_system ( )
static

Member Data Documentation

◆ ansi_c

struct configt::ansi_ct configt::ansi_c

◆ args

std::vector<std::string> configt::args

◆ cname

std::string configt::cname

◆ language

struct configt::language_stdt configt::language = {language_idt::NONE, ""}

◆ main

std::string configt::main

◆ no_slice_ids

std::unordered_set<std::string> configt::no_slice_ids

◆ no_slice_names

std::unordered_set<std::string> configt::no_slice_names

◆ options

optionst configt::options

The documentation for this class was generated from the following files: