Do not hardcode char/bytes having 8 bits - #917

Do not hardcode char/bytes having 8 bits#917

tautschnig merged 1 commit into

diffblue:developdiffblue/cbmc:developfrom

tautschnig:byte-configtautschnig/cbmc:byte-configCopy head branch name to clipboard