17 const irept &problem_node,
18 const std::string &description)
24 std::string ret=description;
25 ret+=
"\nProblem irep:\n";
26 ret+=problem_node.
pretty(0,0);
There are a large number of kinds of tree structured or tree-like data in CPROVER.
std::string pretty(unsigned indent=0, unsigned max_indent=0) const
std::string pretty_print_invariant_with_irep(const irept &problem_node, const std::string &description)
Produces a plain string error description from an irep and some explanatory text.