fixed a crash in parser.

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

diff --git a/src/parser/CVC.y b/src/parser/CVC.y
index b12e3d133426b96623d4687efaae113127f1e64b..c2e443d63a3f85c6d1e94d92c5bbe891b9528d85 100644 (file)
--- a/src/parser/CVC.y
+++ b/src/parser/CVC.y
@@ -174,7 +174,13 @@
 %%
 
 cmd             :      other_cmd
+{
+  _parser_symbol_table.clear();
+}
 |      other_cmd counterexample
+{
+  _parser_symbol_table.clear(); 
+}
 ; 
 
 counterexample  :      COUNTEREXAMPLE_TOK ';'

diff --git a/src/parser/smtlib.y b/src/parser/smtlib.y
index 07c46a87553fc86df6d4b1db9ec4c20f3c20832d..7166cab0b970e78600e0f6c2832a2add9f2985e5 100644 (file)
--- a/src/parser/smtlib.y
+++ b/src/parser/smtlib.y
@@ -227,6 +227,7 @@ benchmark
   ((ASTVec*)AssertsQuery)->push_back(assumptions);
   ((ASTVec*)AssertsQuery)->push_back(query);
   delete $1;
+  _parser_symbol_table.clear();
   YYACCEPT;
 }
 ;

diff --git a/tests/c-api-tests/Makefile b/tests/c-api-tests/Makefile
index cbcc68712c985c1d1cda61956279e415aa4cde8f..01447daa0649fc64b4007b4f156fbc90a7d72b7b 100644 (file)
--- a/tests/c-api-tests/Makefile
+++ b/tests/c-api-tests/Makefile
@@ -32,7 +32,7 @@ all: 0 1 2 3 4 5 6 7 8 9 10 11 11 12 13 14 15 16 17 18 19 20
        ./a4.out
 5:
        g++  $(CXXFLAGS) parsefile-using-cinterface.c -lstp -o a5.out
-       #./a5.out
+       ./a5.out
 6:
        g++  $(CXXFLAGS) print.c -lstp -o a6.out
        ./a6.out