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

#include <config.h>

Public Member Functions

bool is_riscv () const
bool is_windows_abi () const
bool is_freebsd () const
bool is_macos () const
bool is_arm () const
std::string to_string () const

Public Attributes

std::string arch = "none"
std::string vendor = "unknown"
std::string os = "elf"
std::string flavor

Member Function Documentation

◆ is_arm()

bool configt::triple::is_arm ( ) const

◆ is_freebsd()

bool configt::triple::is_freebsd ( ) const

◆ is_macos()

bool configt::triple::is_macos ( ) const

◆ is_riscv()

bool configt::triple::is_riscv ( ) const

◆ is_windows_abi()

bool configt::triple::is_windows_abi ( ) const

◆ to_string()

std::string configt::triple::to_string ( ) const

Member Data Documentation

◆ arch

std::string configt::triple::arch = "none"

◆ flavor

std::string configt::triple::flavor

◆ os

std::string configt::triple::os = "elf"

◆ vendor

std::string configt::triple::vendor = "unknown"

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