cprover
|
Go to the source code of this file.
Functions | |
void | print_backtrace (std::ostream &out) |
Prints a back trace to 'out'. More... | |
std::string | get_backtrace () |
Returns a backtrace. More... | |
void | report_exception_to_stderr (const invariant_failedt &reason) |
Dump exception report to stderr. More... | |
std::string get_backtrace | ( | ) |
Returns a backtrace.
Definition at line 104 of file invariant.cpp.
References print_backtrace().
Referenced by invariant_violated_structured().
void print_backtrace | ( | std::ostream & | out | ) |
Prints a back trace to 'out'.
out | Stream to print backtrace |
Definition at line 77 of file invariant.cpp.
Referenced by get_backtrace().
void report_exception_to_stderr | ( | const invariant_failedt & | reason | ) |
Dump exception report to stderr.
Definition at line 112 of file invariant.cpp.
Referenced by invariant_violated_structured().