Reading/writing goto binaries: consistently use return values#7643

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:cleanup/rw-goto-binary-return-valuetautschnig/cbmc:cleanup/rw-goto-binary-return-valueCopy head branch name to clipboard