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 -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20110421/c256fc17/attachment.html
