introduce goto_programt::instructiont::output#6894

kroening merged 1 commit intodevelopdiffblue/cbmc:developfrom

goto_instruction_outputdiffblue/cbmc:goto_instruction_outputCopy head branch name to clipboard