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,
' ') +
"* *";
std::string to_string(const string_not_contains_constraintt &expr)
Used for debug printing.
unsignedbv_typet size_type()
virtual bool parse(int argc, const char **argv, const char *optstring)
std::string what() const override
A human readable description of what went wrong.
void unknown_option_msg()
Print an error message mentioning the option that was not recognized when parsing the command line.
virtual bool isset(char option) const
Base class for exceptions thrown in the cprover project.
Thrown when users pass incorrect command line arguments, for example passing no files to analysis or ...
void install_signal_catcher()
std::string banner_string(const std::string &front_end, const std::string &version)
#define CPROVER_EXIT_EXCEPTION
An (unanticipated) exception was thrown during computation.
Document and give macros for the exit codes of CPROVER binaries.
virtual std::string what() const =0
A human readable description of what went wrong.
virtual void usage_error()
#define CPROVER_EXIT_USAGE_ERROR
A usage error is returned when the command line is invalid or conflicting.
parse_options_baset(const std::string &optstring, int argc, const char **argv)