]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0bb8ff1) | patch
Bugfix. If given bad input, the SMTLIB2 parser would match as much as it could then...
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Fri, 28 May 2010 01:07:03 +0000 (01:07 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Fri, 28 May 2010 01:07:03 +0000 (01:07 +0000)
commit5ac219ec05d26792a4eebc42f1432cffb40f1b16
treeb1d094e599e2b17c50b5a9ccce0f92e4290d4362tree | snapshot
parent0bb8ff1d7811e979791217eb93d2d04360dbb095commit | diff
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 diff | blob | history
STP Constraint Solver.