projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7447926) | patch
Fix unit test that was broken with last commit.
authorMorgan Deters <mdeters@cs.nyu.edu>
Tue, 7 Oct 2014 03:28:36 +0000 (23:28 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Tue, 7 Oct 2014 03:28:36 +0000 (23:28 -0400)
commit4801b31380dd7fd29b4a01dacec3c4cd195fe40d
tree997c8ba3a70069efeac8232c5d9fc0d316a135d8tree
parent744792614fdd8da94eecd5b0cad7c3cb19b3d91ccommit | diff
Fix unit test that was broken with last commit.
test/unit/prop/cnf_stream_white.h diff | blob | history