diff options
| author | Eric Rizzi <eric.rizzi@gmail.com> | 2015-09-14 14:32:37 -0400 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2016-11-23 20:36:44 +0000 |
| commit | f27cf86466d75c71a302abe5e0a3ffcad1670373 (patch) | |
| tree | dd598d703d01fc8292afa6cc56816ec822715923 /lib/Core | |
| parent | 094a21832d94bfaa5da8ea667e646328ca0e5432 (diff) | |
| download | klee-f27cf86466d75c71a302abe5e0a3ffcad1670373.tar.gz | |
Renamed .pc to .kquery (kleaver query)
Diffstat (limited to 'lib/Core')
| -rw-r--r-- | lib/Core/Executor.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
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); |