projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eca295c) | patch
forgot to add the test with fix
authorKshitij Bansal <kshitij@cs.nyu.edu>
Wed, 18 Jun 2014 20:09:18 +0000 (16:09 -0400)
committerlianah <lianahady@gmail.com>
Thu, 19 Jun 2014 22:24:40 +0000 (18:24 -0400)
commit5cb4e490bc222d1e8a3853b2f975a64af2976baf
tree30bd47c9e1bfc541ae55f30f7e3f6adb410b53fdtree
parenteca295cff1baafcaa1ec9316a7f867ec4a88968acommit | diff
forgot to add the test with fix

according to bug report, fix was in 6267f3
test/regress/regress0/Makefile.am diff | blob | history
test/regress/regress0/bug567.smt2 [new file with mode: 0644] blob