|
CBMC
|
#include <ms_cl_version.h>
Public Types | |
| enum class | targett { UNKNOWN , x86 , x64 , ARM } |
Public Member Functions | |
| void | get (const std::string &executable) |
| bool | is_at_least (unsigned v_major, unsigned v_minor=0) const |
| ms_cl_versiont () | |
Public Attributes | |
| unsigned | v_major |
| unsigned | v_minor |
| configt::ansi_ct::c_standardt | default_c_standard |
| configt::cppt::cpp_standardt | default_cxx_standard |
| enum ms_cl_versiont::targett | target |
Definition at line 19 of file ms_cl_version.h.
|
strong |
| Enumerator | |
|---|---|
| UNKNOWN | |
| x86 | |
| x64 | |
| ARM | |
Definition at line 39 of file ms_cl_version.h.
|
inline |
Definition at line 31 of file ms_cl_version.h.
Definition at line 18 of file ms_cl_version.cpp.
Definition at line 65 of file ms_cl_version.cpp.
| configt::ansi_ct::c_standardt ms_cl_versiont::default_c_standard |
Definition at line 28 of file ms_cl_version.h.
| configt::cppt::cpp_standardt ms_cl_versiont::default_cxx_standard |
Definition at line 29 of file ms_cl_version.h.
| enum ms_cl_versiont::targett ms_cl_versiont::target |
| unsigned ms_cl_versiont::v_major |
Definition at line 22 of file ms_cl_version.h.
| unsigned ms_cl_versiont::v_minor |
Definition at line 22 of file ms_cl_version.h.