projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f963389) | patch
include new regression directories in summary test output
authorMorgan Deters <mdeters@gmail.com>
Mon, 26 Nov 2012 20:05:02 +0000 (20:05 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 26 Nov 2012 20:05:02 +0000 (20:05 +0000)
commita7aad4ae3a1cd80f0e035e1a77b8e42c38c99c8d
tree145f3c1ecc7389bc710704d192391900658ed68btree
parentf96338937ca65d309913d90dbd3f1b8301ee92d6commit | diff
include new regression directories in summary test output
test/Makefile.am diff | blob | history