[klee-dev] ExprBuilder::True

[Li Xuan Ji]

Hello, I recently saw this in include/klee/ExprBuilder.h

// Utility functions
ref<Expr> False() { return ConstantExpr::alloc(0, Expr::Bool); }
ref<Expr> True() { return ConstantExpr::alloc(0, Expr::Bool); }

is this intentional? shouldn't it be

// Utility functions
ref<Expr> False() { return ConstantExpr::alloc(0, Expr::Bool); }
ref<Expr> True() { return ConstantExpr::alloc(1, Expr::Bool); }

Thanks!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: 
http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20101122/55bfc7ac/attachment.html