projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b5e4b80) | patch
Fixes for datatype dumping and printing. Add a new test case for dumping.
authorMorgan Deters <mdeters@gmail.com>
Fri, 21 Sep 2012 21:09:18 +0000 (21:09 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 21 Sep 2012 21:09:18 +0000 (21:09 +0000)
commitba7aea0d9310015546bab5e5743c7dfcb0d2092d
tree19ba631f0457b7946374c9a91a10121fe8839393tree
parentb5e4b809d1913c9cfc5cf95c04e9fc34c1ca42f3commit | diff
Fixes for datatype dumping and printing.  Add a new test case for dumping.

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