From 3a8fe1c957b74d087471db3e2fab6cf27acf26d4 Mon Sep 17 00:00:00 2001
From: Daniel Schemmel <daniel@schemmel.net>
Date: Fri, 24 Mar 2023 00:59:02 +0000
Subject: use unique_ptr in StagedSolverImpl

---
 include/klee/Solver/IncompleteSolver.h | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'include')

diff --git a/include/klee/Solver/IncompleteSolver.h b/include/klee/Solver/IncompleteSolver.h
index 3841c38b..b8ef1929 100644
--- a/include/klee/Solver/IncompleteSolver.h
+++ b/include/klee/Solver/IncompleteSolver.h
@@ -13,6 +13,8 @@
 #include "klee/Solver/Solver.h"
 #include "klee/Solver/SolverImpl.h"
 
+#include <memory>
+
 namespace klee {
 
 /// IncompleteSolver - Base class for incomplete solver
@@ -87,12 +89,11 @@ public:
 /// solver.
 class StagedSolverImpl : public SolverImpl {
 private:
-  IncompleteSolver *primary;
-  Solver *secondary;
+  std::unique_ptr<IncompleteSolver> primary;
+  std::unique_ptr<Solver> secondary;
   
 public:
   StagedSolverImpl(IncompleteSolver *_primary, Solver *_secondary);
-  ~StagedSolverImpl();
     
   bool computeTruth(const Query&, bool &isValid);
   bool computeValidity(const Query&, Solver::Validity &result);
-- 
cgit 1.4.1