projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c3a6ff8) | patch
added experimental "make lcov" target (it runs only unit tests); better coverage...
authorMorgan Deters <mdeters@gmail.com>
Fri, 9 Apr 2010 16:25:32 +0000 (16:25 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 9 Apr 2010 16:25:32 +0000 (16:25 +0000)
commite390a4207d3858927354b3d4b40d540c00f8064c
tree589fd13ed8f6ba835cd79a2894092860b66b7696tree
parentc3a6ff8c6e4a0c743cd33eb29931f837eeb2959ecommit | diff
added experimental "make lcov" target (it runs only unit tests); better coverage for util and context classes; implemented some output functionality that was missing; reclassified some tests white -> black or black -> public; other minor fixes
20 files changed:
Makefile.am diff | blob | history
src/context/cdlist.h diff | blob | history
src/context/cdmap.h diff | blob | history
src/expr/metakind_template.h diff | blob | history
src/util/output.h diff | blob | history
test/unit/Makefile.am diff | blob | history
test/unit/Makefile.tests diff | blob | history
test/unit/context/cdlist_black.h diff | blob | history
test/unit/context/cdmap_white.h [new file with mode: 0644] blob
test/unit/context/context_black.h diff | blob | history
test/unit/expr/expr_black.h [deleted file] blob | history
test/unit/expr/expr_public.h [new file with mode: 0644] blob
test/unit/theory/theory_black.h diff | blob | history
test/unit/theory/theory_uf_white.h diff | blob | history
test/unit/util/assert_white.h diff | blob | history
test/unit/util/configuration_black.h [new file with mode: 0644] blob
test/unit/util/configuration_white.h [deleted file] blob | history
test/unit/util/exception_black.h [new file with mode: 0644] blob
test/unit/util/output_black.h [new file with mode: 0644] blob
test/unit/util/output_white.h [deleted file] blob | history