diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2011-04-23 19:57:19 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2011-04-23 19:57:19 +0000 |
| commit | 8fcc75009e69dbf0acaef87b011891a6a86dfa12 (patch) | |
| tree | b914b28f10a7888ac252f007092eb8f0a6e91763 | |
| parent | 1805c476b62b41082a7d37cd8dabfef8f0b47197 (diff) | |
| download | klee-8fcc75009e69dbf0acaef87b011891a6a86dfa12.tar.gz | |
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
| -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)); |