Patch by Dan Liew: "Renamed ExprSMTLIBPrinter method mangleQuery() to negateQueryExpression() to make it clear what it does."

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

1 files changed, 3 insertions, 3 deletions

diff --git a/include/klee/util/ExprSMTLIBPrinter.h b/include/klee/util/ExprSMTLIBPrinter.h
index 2dc65438..83f48eb6 100644
--- a/include/klee/util/ExprSMTLIBPrinter.h
+++ b/include/klee/util/ExprSMTLIBPrinter.h
@@ -224,7 +224,7 @@ namespace klee {
 			//Print SMTLIBv2 for all constraints in the query
 			virtual void printConstraints();
 
-			//Print SMTLIBv2 assert statement for the "mangled" query
+			//Print SMTLIBv2 assert statement for the negated query expression
 			virtual void printQuery();
 
 			///Print the SMTLIBv2 command to check satisfiability and also optionally request for values
@@ -287,7 +287,7 @@ namespace klee {
 			PrintContext* p;
 
 			///This contains the query from the solver but negated for our purposes.
-			/// \sa mangleQuery()
+			/// \sa negateQueryExpression()
 			ref<Expr> queryAssert;
 
 			///Indicates if there were any constant arrays founds during a scan()
@@ -303,7 +303,7 @@ namespace klee {
 			std::map<SMTLIBboolOptions,bool> smtlibBoolOptions;
 
 			///This sets queryAssert to be the boolean negation of the original Query
-			void mangleQuery();
+			void negateQueryExpression();
 
 			//Print a SMTLIBv2 option as a C-string
 			const char* getSMTLIBOptionString(ExprSMTLIBPrinter::SMTLIBboolOptions option);