[PATCH] Fixed STPBuilder bug when extracting a single non-LSB bit from an expression.

[Cristian Cadar]

Hi David,

Thanks for the patches!  Nasty bugs, indeed.
I committed both of them; sorry for the delay on the first one.

Best,
Cristian

On 30/03/11 04:28, David A. Ramos wrote:
> Hi Daniel,
>
> Here's a one-off bug fix in STPBuilder.
>
> Also, will someone PLEASE commit the patch I submitted on January 12? The one that keeps CoveringNew searcher from being totally worthless...
>
> I rarely submit patches to open source KLEE, but when I do it's usually because the bug is bad enough to merit correcting.
>
> -David
>