24 for(
const auto &step : path)
std::list< path_nodet > patht
A generic container class for the GOTO intermediate representation of one function.
void output_path(const patht &path, const goto_programt &program, const namespacet &ns, std::ostream &str)
std::ostream & output_instruction(const namespacet &ns, const irep_idt &identifier, std::ostream &out, const instructionst::value_type &it) const
Output a single instruction.