diff options
| author | Daniel Schemmel <daniel@schemmel.net> | 2023-03-24 02:50:22 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-04-21 13:07:31 +0100 |
| commit | e9d77be6c688836d68a2be5f3f0a02e63f392bb8 (patch) | |
| tree | 2e7d1d55b122df555ec51ef0a0f3ee1cd856e64c /lib/Solver/Solver.cpp | |
| parent | 4d59fe9aef258c35212e5b7b9f6eb2e17b88d293 (diff) | |
| download | klee-e9d77be6c688836d68a2be5f3f0a02e63f392bb8.tar.gz | |
use unique_ptr in Solver
Diffstat (limited to 'lib/Solver/Solver.cpp')
| -rw-r--r-- | lib/Solver/Solver.cpp | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/lib/Solver/Solver.cpp b/lib/Solver/Solver.cpp index 5fe973fe..e123a667 100644 --- a/lib/Solver/Solver.cpp +++ b/lib/Solver/Solver.cpp @@ -22,9 +22,8 @@ const char *Solver::validity_to_str(Validity v) { } } -Solver::~Solver() { - delete impl; -} +Solver::Solver(SolverImpl *impl) : impl(impl) {} +Solver::~Solver() = default; char *Solver::getConstraintLog(const Query& query) { return impl->getConstraintLog(query); |