11 #ifndef CPROVER_GOTO_CC_MS_CL_VERSION_H 12 #define CPROVER_GOTO_CC_MS_CL_VERSION_H 24 void get(
const std::string &executable);
50 #endif // CPROVER_GOTO_CC_MS_CL_VERSION_H Globally accessible architectural configuration.
enum ms_cl_versiont::targett target
configt::ansi_ct::c_standardt default_c_standard
std::ostream & operator<<(std::ostream &, const ms_cl_versiont &)
void get(const std::string &executable)
bool is_at_least(unsigned v_major, unsigned v_minor=0) const
configt::cppt::cpp_standardt default_cxx_standard