]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c1bd0cb) | patch
fixed a bug in the CVC parser. It was allowing the user to input only assertions...
authorvijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 12 Nov 2009 23:21:37 +0000 (23:21 +0000)
committervijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 12 Nov 2009 23:21:37 +0000 (23:21 +0000)
commita650b2a53284126c0c09d2379a523c438487dffd
treed81d455a30e86652f21c799260e88e7ba6c18553tree | snapshot
parentc1bd0cbdffdbcdf1eac6cd6f55a8dc9366e4ca4ccommit | diff
fixed a bug in the CVC parser. It was allowing the user to input only assertions, and then segfaulting because there was no query.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@399 e59a4935-1847-0410-ae03-e826735625c1
src/main/main.cpp diff | blob | history
src/parser/CVC.y diff | blob | history
src/to-sat/ToCNF.cpp diff | blob | history
tests/misc-tests/cryptominisat-bug.cvc [new file with mode: 0644] blob
tests/misc-tests/no-query.cvc [new file with mode: 0644] blob
STP Constraint Solver.