Improvment. Don't run destructors by default, just exit.

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

diff --git a/src/main/main.cpp b/src/main/main.cpp
index 1568f1c017129dc24b08d48ac455f68838497d1f..3412c3b6e52005498c7a67e07f5f28b7234997e6 100644 (file)
--- a/src/main/main.cpp
+++ b/src/main/main.cpp
@@ -612,6 +612,13 @@ int main(int argc, char ** argv) {
       asserts = ASTNode();
       query = ASTNode();
     }
+
+  // Currently for testcase12.stp.smt2 we spend 3 seconds running the destructors,
+  // the total runtime is 17 seconds, so about 20% of runtime is spent destructing
+  // which is wasted work because the process is going to be killed anyway.
+  if (bm->UserFlags.isSet("fast-exit", "1"))
+         exit(0);
+
   AssertsQuery->clear();
   delete AssertsQuery;