CBMC
|
#include <slice_global_inits.h>
Public Member Functions | |
user_input_error_exceptiont (std::string message) | |
![]() | |
virtual std::string | what () const |
A human readable description of what went wrong. | |
virtual | ~cprover_exception_baset ()=default |
virtual std::string | what () const |
A human readable description of what went wrong. | |
virtual | ~cprover_exception_baset ()=default |
Additional Inherited Members | |
![]() | |
cprover_exception_baset (std::string reason) | |
This constructor is marked protected to ensure this class isn't used directly. | |
cprover_exception_baset (std::string reason) | |
This constructor is marked protected to ensure this class isn't used directly. | |
![]() | |
std::string | reason |
The reason this exception was generated. | |
Definition at line 22 of file slice_global_inits.h.
|
inlineexplicit |
Definition at line 25 of file slice_global_inits.h.