projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b56d4c0) | 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)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Wed, 18 Jun 2014 20:09:32 +0000 (16:09 -0400)
commitc6c3d3da284c80e99302e7dea3661a5a20b91890
tree3a916b9c36d4ae1d99ff091468199c20e3740f7etree
parentb56d4c02290f8a20bb0ff27d19920f7ce6f66576commit | 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