From 8fcc75009e69dbf0acaef87b011891a6a86dfa12 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Sat, 23 Apr 2011 19:57:19 +0000 Subject: Fixed bug reported by Li Xuan Ji and Ayrat Khalimov. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@130070 91177308-0d34-0410-b5e6-96231b3b80d8 --- include/klee/ExprBuilder.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'include') 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 False() { return ConstantExpr::alloc(0, Expr::Bool); } - ref True() { return ConstantExpr::alloc(0, Expr::Bool); } + ref True() { return ConstantExpr::alloc(1, Expr::Bool); } ref Constant(uint64_t Value, Expr::Width W) { return Constant(llvm::APInt(W, Value)); -- cgit 1.4.1