diff options
| -rw-r--r-- | include/klee/ExprBuilder.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/klee/ExprBuilder.h b/include/klee/ExprBuilder.h index f7a6653d..0caed07b 100644 --- a/include/klee/ExprBuilder.h +++ b/include/klee/ExprBuilder.h @@ -63,7 +63,7 @@ namespace klee { ref<Expr> False() { return ConstantExpr::alloc(0, Expr::Bool); } - ref<Expr> True() { return ConstantExpr::alloc(0, Expr::Bool); } + ref<Expr> True() { return ConstantExpr::alloc(1, Expr::Bool); } ref<Expr> Constant(uint64_t Value, Expr::Width W) { return Constant(llvm::APInt(W, Value)); |