projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7eff5df) | patch
* test/unit/context/context_black.h: added a test for Clark's fix to bug #45.
authorMorgan Deters <mdeters@gmail.com>
Sun, 14 Mar 2010 01:55:36 +0000 (01:55 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sun, 14 Mar 2010 01:55:36 +0000 (01:55 +0000)
commitbb21cdc3a551fa46b5e77345bb5cbcb55cba2fa6
tree7d8edeea34fe8f9ab87ed04957f92c73505dc965tree
parent7eff5dfa38e016bb759a5daf5b0afef0a057eb47commit | diff
* test/unit/context/context_black.h: added a test for Clark's fix to bug #45.
* test/unit/context/cdlist_black.h: comment fix
test/unit/context/cdlist_black.h diff | blob | history
test/unit/context/context_black.h diff | blob | history