From 772d0b11529f58a703cdceafb22742339771faf7 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Wed, 8 May 2013 15:20:17 +0000 Subject: 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 --- include/klee/util/ExprSMTLIBPrinter.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'include') 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 queryAssert; ///Indicates if there were any constant arrays founds during a scan() @@ -303,7 +303,7 @@ namespace klee { std::map 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); -- cgit 1.4.1