From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Tue, 13 Sep 2011 10:37:34 +0000 (+0000)
Subject: Improvment. Don't run destructors by default, just exit.
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=5ef46f94c51538a221a6e1b5271d009e538305fa;p=francis%2Fstp.git

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 1568f1c..3412c3b 100644
--- 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;