make_byte_{extract,update} to build byte_{extract,update} expressions#6056

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:make_byte_Xtautschnig/cbmc:make_byte_XCopy head branch name to clipboard