10 #ifndef CPROVER_UTIL_PARSE_OPTIONS_H 11 #define CPROVER_UTIL_PARSE_OPTIONS_H 21 const std::string &optstring,
int argc,
const char **argv);
39 banner_string(
const std::string &front_end,
const std::string &version);
41 #endif // CPROVER_UTIL_PARSE_OPTIONS_H
virtual ~parse_options_baset()
void unknown_option_msg()
Print an error message mentioning the option that was not recognized when parsing the command line.
std::string banner_string(const std::string &front_end, const std::string &version)
virtual void usage_error()
parse_options_baset(const std::string &optstring, int argc, const char **argv)