goto-gcc: Add @<file> arguments to the original command line#1244

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:goto-gcc-at-fixtautschnig/cbmc:goto-gcc-at-fixCopy head branch name to clipboard