klee/klee — pull request #186 by paulmar (2014-12-08 01:13:37+00:00)
Title: Fix overshift check

Shifting by bitwidth-1 is valid. Fixes issue #184