|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#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 |
| enum configt::data_model : uint64_t |
|
static |
|
static |
|
static |
| struct configt::ansi_ct configt::ansi_c |
| std::vector<std::string> configt::args |
| std::string configt::cname |
| struct configt::language_stdt configt::language = {language_idt::NONE, ""} |
| std::string configt::main |
| std::unordered_set<std::string> configt::no_slice_ids |
| std::unordered_set<std::string> configt::no_slice_names |
| optionst configt::options |