exception_utils.h File Reference
Include dependency graph for exception_utils.h:Go to the source code of this file.
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... | |
