cprover
|
#include "invariant.h"
#include "freer.h"
#include <memory>
#include <string>
#include <sstream>
#include <iostream>
#include <assert.h>
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 102 of file invariant.cpp.
void print_backtrace | ( | std::ostream & | out | ) |
Prints a back trace to 'out'.
out | Stream to print backtrace |
Definition at line 78 of file invariant.cpp.
void report_exception_to_stderr | ( | const invariant_failedt & | reason | ) |
Dump exception report to stderr.
Definition at line 110 of file invariant.cpp.