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, 4 insertions, 3 deletions

diff --git a/include/klee/ExprBuilder.h b/include/klee/ExprBuilder.h
index e39da38c..6c1f6809 100644
--- a/include/klee/ExprBuilder.h
+++ b/include/klee/ExprBuilder.h
@@ -69,11 +69,12 @@ namespace klee {
   /// Base - The base builder to use when constructing expressions.
   ExprBuilder *createConstantFoldingExprBuilder(ExprBuilder *Base);
 
-  /// createFoldingExprBuilder - Create an expression builder which attemps to
-  /// fold redundant expressions and normalize expressions for improved caching.
+  /// createSimplifyingExprBuilder - Create an expression builder which attemps
+  /// to fold redundant expressions and normalize expressions for improved
+  /// caching.
   ///
   /// Base - The base builder to use when constructing expressions.
-  ExprBuilder *createFoldingExprBuilder(ExprBuilder *Base);
+  ExprBuilder *createSimplifyingExprBuilder(ExprBuilder *Base);
 }
 
 #endif