projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cb7363e) | patch
small unit test fix; was broken only in non-assertion, non-CLN builds
authorMorgan Deters <mdeters@gmail.com>
Mon, 25 Apr 2011 07:59:57 +0000 (07:59 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 25 Apr 2011 07:59:57 +0000 (07:59 +0000)
commitde164c9308f6461472b95c23aae68d9d9686d8ae
tree01d3796de59abe09fc05b043179840a915988f87tree
parentcb7363eef352200615e1a0d3729cea8b2c74d265commit | diff
small unit test fix; was broken only in non-assertion, non-CLN builds
test/unit/util/integer_black.h diff | blob | history