Improvement. The SMTLIB1 & SMTLIB2 parsers were holding references to nodes when...

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

diff --git a/src/parser/smt.y b/src/parser/smt.y
index 9dd83918b5d8b8bc620985c7558fb81e34981ea7..37e38b5362c08ee576190b26f9d8c0eb3238b02a 100644 (file)
--- a/src/parser/smt.y
+++ b/src/parser/smt.y
@@ -226,6 +226,7 @@ benchmark
   ((ASTVec*)AssertsQuery)->push_back(query);
   delete $1;
   parserInterface->letMgr.cleanupParserSymbolTable();
+  query = ASTNode();
   YYACCEPT;
 }
 ;

diff --git a/src/parser/smt2.y b/src/parser/smt2.y
index 927dec165e75f88acd04a233d03bd8fe84d6365f..effaf6d95d61de235c43cde3c2e1f094839b3bc5 100644 (file)
--- a/src/parser/smt2.y
+++ b/src/parser/smt2.y
@@ -204,6 +204,8 @@ cmd: commands END
        ((ASTVec*)AssertsQuery)->push_back(parserInterface->CreateNode(TRUE));
          ((ASTVec*)AssertsQuery)->push_back(querysmt2);
        parserInterface->letMgr.cleanupParserSymbolTable();
+       querysmt2 = ASTNode();
+       assertionsSMT2.clear();
        YYACCEPT;
 }
 ;