Assignments to bit-fields yield results of bit-field type#7270

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:bugfixes/bitfield-side-effecttautschnig/cbmc:bugfixes/bitfield-side-effectCopy head branch name to clipboard