cprover
|
#include <exception>
#include <string>
Go to the source code of this file.
Functions | |
std::string | unwrap_exception (const std::exception &e, int level=0) |
Given a potentially nested exception, produce a string with all of nested exceptions information. More... | |
std::string unwrap_exception | ( | const std::exception & | e, |
int | level | ||
) |
Given a potentially nested exception, produce a string with all of nested exceptions information.
If a nested exception string contains new lines then the newlines are indented to the correct level.
e | The outer exeception |
level | How many exceptions have already been unrolled |
Definition at line 24 of file unwrap_nested_exception.cpp.