From a99507bc04f2c16e6de118795a63a074899df66b Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Mon, 22 Jun 2009 03:21:02 +0000 Subject: Add ConstantExpr::toString (instead of using getConstantValue()). git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73870 91177308-0d34-0410-b5e6-96231b3b80d8 --- include/klee/Expr.h | 3 +++ 1 file changed, 3 insertions(+) (limited to 'include') diff --git a/include/klee/Expr.h b/include/klee/Expr.h index 24a1cb2e..31bed1a8 100644 --- a/include/klee/Expr.h +++ b/include/klee/Expr.h @@ -329,6 +329,9 @@ public: return (value > Limit) ? Limit : getZExtValue(); } + /// toString - Return the constant value as a decimal string. + void toString(std::string &Res) const; + int compareContents(const Expr &b) const { const ConstantExpr &cb = static_cast(b); if (width != cb.width) return width < cb.width ? -1 : 1; -- cgit 1.4.1