22 for(
const auto &step : path)
A generic container class for the GOTO intermediate representation of one function.
std::ostream & output_instruction(const namespacet &ns, const irep_idt &identifier, std::ostream &out, const instructionst::value_type &instruction) const
Output a single instruction.
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
void output_path(const patht &path, const goto_programt &program, const namespacet &ns, std::ostream &str)
std::list< path_nodet > patht