diff options
| author | Daniel Schemmel <daniel@schemmel.net> | 2023-03-24 02:40:47 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-04-21 13:07:31 +0100 |
| commit | 4d59fe9aef258c35212e5b7b9f6eb2e17b88d293 (patch) | |
| tree | a548c7b9edf5e1e77812d00f82c634270a7fd663 /lib/Solver/QueryLoggingSolver.cpp | |
| parent | dab8f985dbf0310a7338e15e85f9268649540293 (diff) | |
| download | klee-4d59fe9aef258c35212e5b7b9f6eb2e17b88d293.tar.gz | |
use unique_ptr in QueryLoggingSolver
Diffstat (limited to 'lib/Solver/QueryLoggingSolver.cpp')
| -rw-r--r-- | lib/Solver/QueryLoggingSolver.cpp | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/lib/Solver/QueryLoggingSolver.cpp b/lib/Solver/QueryLoggingSolver.cpp index 4c3d9b30..c057751c 100644 --- a/lib/Solver/QueryLoggingSolver.cpp +++ b/lib/Solver/QueryLoggingSolver.cpp @@ -53,10 +53,6 @@ QueryLoggingSolver::QueryLoggingSolver(Solver *_solver, std::string path, assert(0 != solver); } -QueryLoggingSolver::~QueryLoggingSolver() { - delete solver; -} - void QueryLoggingSolver::flushBufferConditionally(bool writeToFile) { logBuffer.flush(); if (writeToFile) { |