Go to the documentation of this file.
26 const std::string &_optstring,
int argc,
const char **argv)
28 std::string optstring=std::string(
"?h(help)")+_optstring;
38 std::cerr <<
"Usage error!\n\n";
76 std::cerr << e.
what() <<
"\n";
81 std::cerr << e.
what() <<
'\n';
89 const std::string version_str = front_end +
" " + version +
" " +
93 if(version_str.size() < 57)
95 left_padding = (57 - version_str.size() + 1) / 2;
96 right_padding = (57 - version_str.size()) / 2;
99 return "* *" + std::string(left_padding,
' ') + version_str +
100 std::string(right_padding,
' ') +
"* *";
virtual bool parse(int argc, const char **argv, const char *optstring)
virtual bool isset(char option) const
void unknown_option_msg()
Print an error message mentioning the option that was not recognized when parsing the command line.
#define CPROVER_EXIT_EXCEPTION
An (unanticipated) exception was thrown during computation.
std::string to_string(const string_not_contains_constraintt &expr)
Used for debug printing.
parse_options_baset(const std::string &optstring, int argc, const char **argv)
virtual void usage_error()
std::string what() const override
A human readable description of what went wrong.
std::string banner_string(const std::string &front_end, const std::string &version)
virtual std::string what() const =0
A human readable description of what went wrong.
void install_signal_catcher()
#define CPROVER_EXIT_USAGE_ERROR
A usage error is returned when the command line is invalid or conflicting.
unsignedbv_typet size_type()
Thrown when users pass incorrect command line arguments, for example passing no files to analysis or ...
Base class for exceptions thrown in the cprover project.