diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-09-21 21:51:25 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-09-21 21:51:25 +0000 |
commit | 2b2d9092eea1f50b468e459029dcfdd88e2232da (patch) | |
tree | 82de73997d5e7193fb32d730cdfa00719b95052b /src/main/main.cpp | |
parent | 9dbc683d057288a23109075d806a5398252eaa12 (diff) |
fix statistics-registry-related memory leaks
Diffstat (limited to 'src/main/main.cpp')
-rw-r--r-- | src/main/main.cpp | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/main/main.cpp b/src/main/main.cpp index 235ebb354..a6fe10888 100644 --- a/src/main/main.cpp +++ b/src/main/main.cpp @@ -188,8 +188,6 @@ int runCvc4(int argc, char* argv[]) { } Result asSatResult = lastResult.asSatisfiabilityResult(); - - int returnValue; switch(asSatResult.isSAT()) { @@ -216,15 +214,18 @@ int runCvc4(int argc, char* argv[]) { // Remove the parser delete parser; -ReferenceStat< Result > s_statSatResult("sat/unsat", asSatResult); + + ReferenceStat< Result > s_statSatResult("sat/unsat", asSatResult); StatisticsRegistry::registerStat(&s_statSatResult); if(options.statistics){ StatisticsRegistry::flushStatistics(cerr); } - return returnValue; + StatisticsRegistry::unregisterStat(&s_statSatResult); + StatisticsRegistry::unregisterStat(&s_statFilename); + return returnValue; } void doCommand(SmtEngine& smt, Command* cmd) { |