address_bits need not return an arbitrary-sized integer - #1882

address_bits need not return an arbitrary-sized integer#1882

tautschnig merged 1 commit into

diffblue:developdiffblue/cbmc:developfrom

tautschnig:address_bitstautschnig/cbmc:address_bitsCopy head branch name to clipboard