From 5ef46f94c51538a221a6e1b5271d009e538305fa Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Tue, 13 Sep 2011 10:37:34 +0000 Subject: [PATCH] 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 --- src/main/main.cpp | 7 +++++++ 1 file changed, 7 insertions(+) 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; -- 2.47.3