Test for byte extract with negative offset#2525

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

peterschrammel:range-set-neg-offset-testpeterschrammel/cbmc:range-set-neg-offset-testCopy head branch name to clipboard