]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 98ef458) | patch
removed a broken test
authorvijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Wed, 2 Dec 2009 16:18:36 +0000 (16:18 +0000)
committervijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Wed, 2 Dec 2009 16:18:36 +0000 (16:18 +0000)
commita0374a10b147ffddbbf2659d2a9f46430456fd0b
treec55394f4837510d5ab7aa4b20c206684d1f64ef6tree | snapshot
parent98ef458d322c4c47e9cfd57ba5a565d5fafc6fe6commit | diff
removed a broken test

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@447 e59a4935-1847-0410-ae03-e826735625c1
tests/sample-smt-tests/miniTest18.smt [deleted file] blob | history
STP Constraint Solver.