projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 04c345a) | patch
support "make check" in src/ subdirs for unit-testing of just that module; also suppo...
authorMorgan Deters <mdeters@gmail.com>
Wed, 27 Jan 2010 22:48:03 +0000 (22:48 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 27 Jan 2010 22:48:03 +0000 (22:48 +0000)
commitfa58c38371131db68f780c9f6f7e7d3f2e07256a
tree2078b54d9ea698d0012f17e996600c23c418b44atree
parent04c345a4debffaa82bd3e360aaf7cb4c6f135ed7commit | diff
support "make check" in src/ subdirs for unit-testing of just that module; also support synonyms for "make check" globally
15 files changed:
Makefile diff | blob | history
Makefile.subdir diff | blob | history
test/Makefile diff | blob | history
test/Makefile.am diff | blob | history
test/Makefile.in diff | blob | history
test/regress/Makefile diff | blob | history
test/regress/Makefile.am diff | blob | history
test/regress/Makefile.in diff | blob | history
test/system/Makefile [new file with mode: 0644] blob
test/system/Makefile.am diff | blob | history
test/system/Makefile.in diff | blob | history
test/unit/Makefile diff | blob | history
test/unit/Makefile.am diff | blob | history
test/unit/Makefile.in diff | blob | history
test/unit/Makefile.tests diff | blob | history