projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 256bb47) | patch
minor fix to build system for system tests
authorMorgan Deters <mdeters@gmail.com>
Thu, 2 Jun 2011 22:17:56 +0000 (22:17 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 2 Jun 2011 22:17:56 +0000 (22:17 +0000)
commitd935021323ca343da5359fa54bc62184d47ccd1b
tree10bb9bfed563047e26907138095604d7c1b5e22etree
parent256bb47bb56e3ae1913035503769a76435f79e2acommit | diff
minor fix to build system for system tests
test/unit/Makefile.am diff | blob | history