projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9be1d8f) | patch
Fix bug 246 (occasional buffer overflow related to varargs in assertion-failure strin...
authorMorgan Deters <mdeters@gmail.com>
Thu, 10 Mar 2011 21:05:13 +0000 (21:05 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 10 Mar 2011 21:05:13 +0000 (21:05 +0000)
commit0f4764b2f0e64be5df31cd87a27363cf59045665
tree5e48030ea6087b3dfe66e9c37d790b2394070132tree
parent9be1d8fe09cdc0e5b5b3478f7dab16a218802ec1commit | diff
Fix bug 246 (occasional buffer overflow related to varargs in assertion-failure string construction) and addition of an assert_white unit test check for the issue
src/util/Assert.cpp diff | blob | history
test/unit/util/assert_white.h diff | blob | history