Thank you both for this report. I committed this fix in r130070.
The function is not currently used by KLEE, but it is of course a bug.
Best,
Cristian
On 21/04/2011 14:52, Li Xuan Ji wrote:
> Yeah, it tripped me up before. I'm pretty sure it's supposed to be 1.
On 21/04/2011 13:45, Ayrat Khalimov wrote:
> Hi guys,
> This looks like a misprint:
>
> ExprBuilder.h:66:
> ref<Expr> False() { return ConstantExpr::alloc(*0*, Expr::Bool); }
> ref<Expr> True() { return ConstantExpr::alloc(*0*, Expr::Bool); }
>
> For True() the value should be 1, right?
>
> --
> Best regards,
> Ayrat
