diff options
| author | Daniel Schemmel <daniel@schemmel.net> | 2023-03-24 15:05:43 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-04-21 13:07:31 +0100 |
| commit | ac0fa15ab0679fe1b5067b07647b0701ae3bc347 (patch) | |
| tree | f2294eb5f0795ee9ce0f92d527242b7b7a507e79 /lib/Solver/Solver.cpp | |
| parent | e9d77be6c688836d68a2be5f3f0a02e63f392bb8 (diff) | |
| download | klee-ac0fa15ab0679fe1b5067b07647b0701ae3bc347.tar.gz | |
use unique_ptr all throughout the solver chain
Diffstat (limited to 'lib/Solver/Solver.cpp')
| -rw-r--r-- | lib/Solver/Solver.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/Solver/Solver.cpp b/lib/Solver/Solver.cpp index e123a667..bb6ed105 100644 --- a/lib/Solver/Solver.cpp +++ b/lib/Solver/Solver.cpp @@ -12,6 +12,8 @@ #include "klee/Expr/Constraints.h" #include "klee/Solver/SolverImpl.h" +#include <utility> + using namespace klee; const char *Solver::validity_to_str(Validity v) { @@ -22,7 +24,7 @@ const char *Solver::validity_to_str(Validity v) { } } -Solver::Solver(SolverImpl *impl) : impl(impl) {} +Solver::Solver(std::unique_ptr<SolverImpl> impl) : impl(std::move(impl)) {} Solver::~Solver() = default; char *Solver::getConstraintLog(const Query& query) { |