24 for(
const auto &step : path)
std::list< path_nodet > patht
A specialization of goto_program_templatet over goto programs in which instructions have codet type...
void output_path(const patht &path, const goto_programt &program, const namespacet &ns, std::ostream &str)
std::ostream & output_instruction(const class namespacet &ns, const irep_idt &identifier, std::ostream &out, instructionst::const_iterator it) const
See below.