Fix some leaks

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@556 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/src/main/main.cpp b/src/main/main.cpp
index 9a2d45caf0177f5799713029393e676d962e47b6..446db1afeb4da510cf2c6fef6a0122b92c7003bf 100644 (file)
--- a/src/main/main.cpp
+++ b/src/main/main.cpp
@@ -299,5 +299,7 @@ int main(int argc, char ** argv) {
       bm->GetRunTimes()->print();
     }
   (GlobalSTP->tosat)->PrintOutput(ret);
+
+  delete AssertsQuery;
   return 0;
 }//end of Main

diff --git a/src/sat/core/Solver.h b/src/sat/core/Solver.h
index ecac792426a98e88eb22d5c20898e5ebffdf8ed4..608075c7fd3ce9c8b9f9ce0662520c6ea39ccd02 100644 (file)
--- a/src/sat/core/Solver.h
+++ b/src/sat/core/Solver.h
@@ -96,7 +96,7 @@ public:
     // Constructor/Destructor:
     //
     Solver();
-    ~Solver();
+    virtual ~Solver();
 
     // Problem specification:
     //

diff --git a/src/to-sat/CallSAT.cpp b/src/to-sat/CallSAT.cpp
index c183d21e7a4b460b2d11daf9c9e526f549ccb524..df6f54b7bbca692365bb5cc4fde861272bebe925 100644 (file)
--- a/src/to-sat/CallSAT.cpp
+++ b/src/to-sat/CallSAT.cpp
@@ -104,7 +104,10 @@ namespace BEEV
 
     if(!sat)
       {
-        return sat;
+        cm->DELETE(cl);
+        delete cm->ReturnXorClauses();
+        delete cm;
+       return sat;
       }
 
 #if defined CRYPTOMINISAT || defined CRYPTOMINISAT2
@@ -115,7 +118,9 @@ namespace BEEV
     cm->DELETE(xorcl);
 #endif 
 
+
     cm->DELETE(cl);
+    delete cm->ReturnXorClauses();
     delete cm;
     return sat;
   }