projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6d09eb1) | patch
Adding CnfStreamBlack tests for all Boolean connectives
authorChristopher L. Conway <christopherleeconway@gmail.com>
Wed, 26 May 2010 22:10:10 +0000 (22:10 +0000)
committerChristopher L. Conway <christopherleeconway@gmail.com>
Wed, 26 May 2010 22:10:10 +0000 (22:10 +0000)
commit4e410b38715248f4c74539ecf51dcc01f405105c
treec6c4a6d0b926d3485caa0a15f3531e6c9dcc0f66tree
parent6d09eb1dfebf076e69bb982482744cea9c22ab09commit | diff
Adding CnfStreamBlack tests for all Boolean connectives
test/unit/prop/cnf_stream_black.h diff | blob | history