projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6ac90a8) | patch
small cosmetic change to tests summary output
authorMorgan Deters <mdeters@gmail.com>
Thu, 27 May 2010 21:25:35 +0000 (21:25 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 27 May 2010 21:25:35 +0000 (21:25 +0000)
commit9eb5f5516f3b72fd1d5e5fa6b5960122541a2e93
tree52ae2deb51c359270c3c1ddcd5af26de673830c2tree
parent6ac90a806f563981bc25fe06bb0dde35d62da7a9commit | diff
small cosmetic change to tests summary output
test/Makefile.am diff | blob | history