From 5ac219ec05d26792a4eebc42f1432cffb40f1b16 Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Fri, 28 May 2010 01:07:03 +0000 Subject: [PATCH] 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 --- src/parser/smtlib2.y | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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()) { -- 2.47.3