|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#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 |
| c_stdt configt::language_stdt::c_std = c_stdt::unknown |
| cxx_stdt configt::language_stdt::cpp_std = cxx_stdt::unknown |
| language_idt configt::language_stdt::lid |
| std::string configt::language_stdt::std |