Remove unanchored "error" string from symtab2gb test specs#8270

kroening merged 1 commit into

diffblue:developdiffblue/cbmc:developfrom

tautschnig:cleanup/symtab-regression-remove-errortautschnig/cbmc:cleanup/symtab-regression-remove-errorCopy head branch name to clipboard