SMT2: fix shift distance wider than the shifted operand - #9178

SMT2: fix shift distance wider than the shifted operand#9178

kroening wants to merge 1 commit into

diffblue:developdiffblue/cbmc:developfrom

kroening:kroening/smt2-shift-distance-wider-than-operandkroening/cbmc:kroening/smt2-shift-distance-wider-than-operandCopy head branch name to clipboard