Rename FoldingExprBuilder -> SimplifyingExprBuilder

Also, start printing query # with -print-ast (for testing purposes).


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73350 91177308-0d34-0410-b5e6-96231b3b80d8

1 files changed, 5 insertions, 5 deletions

diff --git a/lib/Expr/ExprBuilder.cpp b/lib/Expr/ExprBuilder.cpp
index f373e2b8..0445222d 100644
--- a/lib/Expr/ExprBuilder.cpp
+++ b/lib/Expr/ExprBuilder.cpp
@@ -397,12 +397,12 @@ namespace {
     }
   };
 
-  class FoldingExprBuilder : public ExprBuilder {
+  class SimplifyingExprBuilder : public ExprBuilder {
     ExprBuilder *Base;
 
   public:
-    FoldingExprBuilder(ExprBuilder *_Base) : Base(_Base) {}
-    ~FoldingExprBuilder() { 
+    SimplifyingExprBuilder(ExprBuilder *_Base) : Base(_Base) {}
+    ~SimplifyingExprBuilder() { 
       delete Base;
     }
 
@@ -543,6 +543,6 @@ ExprBuilder *klee::createConstantFoldingExprBuilder(ExprBuilder *Base) {
   return new ConstantFoldingExprBuilder(Base);
 }
 
-ExprBuilder *klee::createFoldingExprBuilder(ExprBuilder *Base) {
-  return new FoldingExprBuilder(Base);
+ExprBuilder *klee::createSimplifyingExprBuilder(ExprBuilder *Base) {
+  return new SimplifyingExprBuilder(Base);
 }