cprover
invariant.cpp File Reference
#include "invariant.h"
#include "util/freer.h"
#include <memory>
#include <string>
#include <sstream>
#include <iostream>
#include <assert.h>
Include dependency graph for invariant.cpp:

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...
 

Function Documentation

◆ get_backtrace()

std::string get_backtrace ( )

Returns a backtrace.

Returns
backtrace with a file / function / line header.

Definition at line 104 of file invariant.cpp.

References print_backtrace().

Referenced by invariant_violated_structured().

◆ print_backtrace()

void print_backtrace ( std::ostream &  out)

Prints a back trace to 'out'.

Parameters
outStream to print backtrace

Definition at line 78 of file invariant.cpp.

References stack.

Referenced by get_backtrace().

◆ report_exception_to_stderr()

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().