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) --- lib/Core/Executor.cpp | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'lib/Core/Executor.cpp') diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index 0981b8f4..1f3c1939 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -353,12 +353,13 @@ Executor::Executor(const InterpreterOptions &opts, InterpreterHandler *ih) if (!coreSolver) { klee_error("Failed to create core solver\n"); } + Solver *solver = constructSolverChain( coreSolver, interpreterHandler->getOutputFilename(ALL_QUERIES_SMT2_FILE_NAME), interpreterHandler->getOutputFilename(SOLVER_QUERIES_SMT2_FILE_NAME), - interpreterHandler->getOutputFilename(ALL_QUERIES_PC_FILE_NAME), - interpreterHandler->getOutputFilename(SOLVER_QUERIES_PC_FILE_NAME)); + interpreterHandler->getOutputFilename(ALL_QUERIES_KQUERY_FILE_NAME), + interpreterHandler->getOutputFilename(SOLVER_QUERIES_KQUERY_FILE_NAME)); this->solver = new TimingSolver(solver, EqualitySubstitution); memory = new MemoryManager(&arrayCache); -- cgit 1.4.1