diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/ExprBuilder.h | 7 |
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 |