`run(..., std::ostream &, ...)` with pipe#8650

tautschnig merged 2 commits intodevelopdiffblue/cbmc:developfrom

run-with-pipediffblue/cbmc:run-with-pipeCopy head branch name to clipboard