From 25b0ab1a3513b5952c0a2e2c59cec72cdf471224 Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Sun, 14 Jun 2009 21:52:09 +0000 Subject: 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 --- include/klee/ExprBuilder.h | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'include') 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 -- cgit 1.4.1