cprover
invariant_utils.cpp
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Invariant helper utilities
4 
5 Author: Chris Smowton, chris.smowton@diffblue.com
6 
7 \*******************************************************************/
8 
11 
12 #include "invariant_utils.h"
13 
15  const irept &problem_node,
16  const std::string &description)
17 {
18  if(problem_node.is_nil())
19  return description;
20  else
21  {
22  std::string ret=description;
23  ret+="\nProblem irep:\n";
24  ret+=problem_node.pretty(0,0);
25  return ret;
26  }
27 }
irept::pretty
std::string pretty(unsigned indent=0, unsigned max_indent=0) const
Definition: irep.cpp:488
irept::is_nil
bool is_nil() const
Definition: irep.h:398
pretty_print_invariant_with_irep
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.
Definition: invariant_utils.cpp:14
invariant_utils.h
irept
There are a large number of kinds of tree structured or tree-like data in CPROVER.
Definition: irep.h:394