Extract unsigned value from options#2549

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:vs-unsigned-optiontautschnig/cbmc:vs-unsigned-optionCopy head branch name to clipboard