git.libre-soc.org Git - cvc5.git/commit

author	Morgan Deters <mdeters@gmail.com>
	Thu, 4 Feb 2010 19:01:55 +0000 (19:01 +0000)
committer	Morgan Deters <mdeters@gmail.com>
	Thu, 4 Feb 2010 19:01:55 +0000 (19:01 +0000)
commit	3203c9bf8ec818b287c8b4030bb4b71d48ede9f1
tree	cf737891c4f8edaaa05c7a362849165c8a20b5d5	tree
parent	70a4ae1e6a7dae928e2ec83bd190b9b81e11bf02	commit \| diff

test infrastructure updated for multiple-level regressions

20 files changed:

Makefile		diff \| blob \| history
Makefile.subdir		diff \| blob \| history
configure.ac		diff \| blob \| history
test/Makefile		diff \| blob \| history
test/Makefile.am		diff \| blob \| history
test/regress/Makefile		diff \| blob \| history
test/regress/Makefile.am		diff \| blob \| history
test/regress/regress0/Makefile	[new file with mode: 0644]	blob
test/regress/regress0/Makefile.am	[new file with mode: 0644]	blob
test/regress/regress1/Makefile	[new file with mode: 0644]	blob
test/regress/regress1/Makefile.am	[new file with mode: 0644]	blob
test/regress/regress2/Makefile	[new file with mode: 0644]	blob
test/regress/regress2/Makefile.am	[new file with mode: 0644]	blob
test/regress/regress3/Makefile	[new file with mode: 0644]	blob
test/regress/regress3/Makefile.am	[new file with mode: 0644]	blob
test/regress/run_regression	[new file with mode: 0755]	blob
test/system/Makefile		diff \| blob \| history
test/system/Makefile.am		diff \| blob \| history
test/unit/Makefile		diff \| blob \| history
test/unit/Makefile.am		diff \| blob \| history