From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Fri, 28 May 2010 01:07:03 +0000 (+0000)
Subject: Bugfix. If given bad input, the SMTLIB2 parser would match as much as it could then... 
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=5ac219ec05d26792a4eebc42f1432cffb40f1b16;p=francis%2Fstp.git

Bugfix. If given bad input, the SMTLIB2 parser would match as much as it could then stop, without warning. It now checks that an end of file has been reached.



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

diff --git a/src/parser/smtlib2.y b/src/parser/smtlib2.y
index af67a13..ffe850a 100644
--- a/src/parser/smtlib2.y
+++ b/src/parser/smtlib2.y
@@ -190,9 +190,10 @@
 %token SELECT_TOK;
 %token STORE_TOK; 
 
+%token END 0 "end of file"
 
 %%
-cmd: commands
+cmd: commands END
 {
 	if(querysmt2.IsNull()) 
     {