diff options
Diffstat (limited to 'lib/Core/TimingSolver.h')
-rw-r--r-- | lib/Core/TimingSolver.h | 6 |
1 files changed, 2 insertions, 4 deletions
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); |