[PATCH] Fixed STPBuilder bug when extracting a single non-LSB bit from an expression.
c.cadar at imperial.ac.uk
Wed Mar 30 04:31:37 PDT 2011
Thanks for the patches! Nasty bugs, indeed.
I committed both of them; sorry for the delay on the first one.
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.
More information about the klee-commits