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

#include <config.h>

Public Attributes

language_idt lid
std::string std
c_stdt c_std = c_stdt::unknown
cxx_stdt cpp_std = cxx_stdt::unknown

Member Data Documentation

◆ c_std

c_stdt configt::language_stdt::c_std = c_stdt::unknown

◆ cpp_std

cxx_stdt configt::language_stdt::cpp_std = cxx_stdt::unknown

◆ lid

language_idt configt::language_stdt::lid

◆ std

std::string configt::language_stdt::std

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