Classes

class   cprover_exception_baset

  Base class for exceptions thrown in the cprover project. More...

 

class   invalid_command_line_argument_exceptiont

  Thrown when users pass incorrect command line arguments, for example passing no files to analysis or setting two mutually exclusive flags. More...

 

class   system_exceptiont

  Thrown when some external system fails unexpectedly. More...

 

class   deserialization_exceptiont

  Thrown when failing to deserialize a value from some low level format, like JSON or raw bytes. More...

 

class   incorrect_goto_program_exceptiont

  Thrown when a goto program that's being processed is in an invalid format, for example passing the wrong number of arguments to functions. More...

 

class   unsupported_operation_exceptiont

  Thrown when we encounter an instruction, parameters to an instruction etc. More...

 

class   analysis_exceptiont

  Thrown when an unexpected error occurs during the analysis (e.g., when the SAT solver returns an error) More...

 

class   invalid_input_exceptiont

  Thrown when user-provided input cannot be processed. More...

 

class   invalid_source_file_exceptiont

  Thrown when we can't handle something in an input source file. More...