diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2012-10-24 12:49:37 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2012-10-24 12:49:37 +0000 |
| commit | 201df554ef415bd28977a4a9aaf1943ef7bd1a42 (patch) | |
| tree | 2899235dd7e9ac182058b0f631a7947cef72cc9e /lib/Expr | |
| parent | 01817eb65cfc8f40ae5200b6dd238c86f7e8c915 (diff) | |
| download | klee-201df554ef415bd28977a4a9aaf1943ef7bd1a42.tar.gz | |
Patch by Dan Liew: " Modified ConstantExpr::toString() to take an
optional radix (base e.g. 2,10,16). This will be needed by the ExprSMTLIBPrinter that will soon be added." git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@166553 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Expr')
| -rw-r--r-- | lib/Expr/Expr.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Expr/Expr.cpp b/lib/Expr/Expr.cpp index fa8525b6..630de164 100644 --- a/lib/Expr/Expr.cpp +++ b/lib/Expr/Expr.cpp @@ -347,8 +347,8 @@ void ConstantExpr::toMemory(void *address) { } } -void ConstantExpr::toString(std::string &Res) const { - Res = value.toString(10, false); +void ConstantExpr::toString(std::string &Res, unsigned radix) const { + Res = value.toString(radix, false); } ref<ConstantExpr> ConstantExpr::Concat(const ref<ConstantExpr> &RHS) { |