projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 03b766e) | patch
Add some regressions for bug 438.
authorMorgan Deters <mdeters@gmail.com>
Fri, 30 Nov 2012 15:29:36 +0000 (15:29 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 30 Nov 2012 15:29:36 +0000 (15:29 +0000)
commita0cce22b009afac40122c01a57404c94db241ea6
treec8601ddbe53a4d48aae12d1b276337a8568b3b49tree
parent03b766ec1f86976d602988581e5e47dbed31952ccommit | diff
Add some regressions for bug 438.

(this commit was certified error- and warning-free by the test-and-commit script.)
test/regress/regress0/datatypes/Makefile.am diff | blob | history
test/regress/regress0/datatypes/bug438b.cvc [new file with mode: 0644] blob