projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fbf887e) | patch
enable bug regression for bug 382
authorMorgan Deters <mdeters@gmail.com>
Sun, 16 Sep 2012 01:24:24 +0000 (01:24 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sun, 16 Sep 2012 01:24:24 +0000 (01:24 +0000)
commit249c19d48e6a69ca4b083cae701d51d4ff54cfc5
treefa9233219d1dd269a99c2acf1dfafc6a7e88aa29tree
parentfbf887ef14272a13bf1413704d080e8496321338commit | diff
enable bug regression for bug 382

(this commit was certified error- and warning-free by the test-and-commit script.)
test/regress/regress0/Makefile.am diff | blob | history