Set bits_per_byte in byte_extract expressions#4255

carolynzech merged 1 commit into

model-checking:mainmodel-checking/kani:mainfrom

tautschnig:set-bits_per_bytetautschnig/kani:set-bits_per_byteCopy head branch name to clipboard