[klee-dev] ExprBuilder.h:66 ref True()

[Li Xuan Ji]

Yeah, it tripped me up before. I'm pretty sure it's supposed to be 1.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: 
http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20110421/7f206340/attachment.html