From f27cf86466d75c71a302abe5e0a3ffcad1670373 Mon Sep 17 00:00:00 2001 From: Eric Rizzi Date: Mon, 14 Sep 2015 14:32:37 -0400 Subject: Renamed .pc to .kquery (kleaver query) --- tools/kleaver/main.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'tools/kleaver') diff --git a/tools/kleaver/main.cpp b/tools/kleaver/main.cpp index a937d761..3fde0abf 100644 --- a/tools/kleaver/main.cpp +++ b/tools/kleaver/main.cpp @@ -224,8 +224,8 @@ static bool EvaluateInputAST(const char *Filename, Solver *S = constructSolverChain(coreSolver, getQueryLogPath(ALL_QUERIES_SMT2_FILE_NAME), getQueryLogPath(SOLVER_QUERIES_SMT2_FILE_NAME), - getQueryLogPath(ALL_QUERIES_PC_FILE_NAME), - getQueryLogPath(SOLVER_QUERIES_PC_FILE_NAME)); + getQueryLogPath(ALL_QUERIES_KQUERY_FILE_NAME), + getQueryLogPath(SOLVER_QUERIES_KQUERY_FILE_NAME)); unsigned Index = 0; for (std::vector::iterator it = Decls.begin(), -- cgit 1.4.1