diff options
| -rw-r--r-- | lib/Core/Executor.cpp | 2 | ||||
| -rw-r--r-- | lib/Core/TimingSolver.h | 6 |
2 files changed, 3 insertions, 5 deletions
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index 39de6e8d..ceefc710 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -4058,7 +4058,7 @@ void Executor::doImpliedValueConcretization(ExecutionState &state, abort(); // FIXME: Broken until we sort out how to do the write back. if (DebugCheckForImpliedValues) - ImpliedValue::checkForImpliedValues(solver->solver, e, value); + ImpliedValue::checkForImpliedValues(solver->solver.get(), e, value); ImpliedValueList results; ImpliedValue::getImpliedValues(e, value, results); diff --git a/lib/Core/TimingSolver.h b/lib/Core/TimingSolver.h index 8e25b21c..9470bd31 100644 --- a/lib/Core/TimingSolver.h +++ b/lib/Core/TimingSolver.h @@ -15,6 +15,7 @@ #include "klee/Solver/Solver.h" #include "klee/System/Time.h" +#include <memory> #include <vector> namespace klee { @@ -25,7 +26,7 @@ namespace klee { /// tracking the statistics that we care about. class TimingSolver { public: - Solver *solver; + std::unique_ptr<Solver> solver; bool simplifyExprs; public: @@ -36,9 +37,6 @@ namespace klee { /// querying. TimingSolver(Solver *_solver, bool _simplifyExprs = true) : solver(_solver), simplifyExprs(_simplifyExprs) {} - ~TimingSolver() { - delete solver; - } void setTimeout(time::Span t) { solver->setCoreSolverTimeout(t); |