Added C test case that checks that concrete and symbolic overshift
behaviour for left shift are identical.
Fixed overshift of logical right shift by symbolic so that it overshifts
to zero. Test case is included.
Fixed overshift of logical right shift by constant so that it
overshifts to zero. Test case is included.
Added C test case that checks that concrete and symbolic overshift
behaviour for logical right shift are identical.
Fixed overshift of arithmetic right shift by symbolic so that it overshifts
to zero. Test case is included.
Fixed overshift of arithmetic right shift by constant so that it
overshifts to zero. Test case is included.
Added C test case that checks that concrete and symbolic overshift
behaviour for arithmetic right shift are identical.