projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 33239a8) | patch
Fix for a bug Andrew Reynolds found for iterators that affects empty CDList<> objects...
authorMorgan Deters <mdeters@gmail.com>
Fri, 25 Mar 2011 05:20:56 +0000 (05:20 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 25 Mar 2011 05:20:56 +0000 (05:20 +0000)
commitee36b95b8f722fe6501cc6ac635efd49ca673791
treeb6149a6b843b26b65db788d0cf3215dd68d53e79tree
parent33239a85e160bcbdfa23b44e316065166e361af8commit | diff
Fix for a bug Andrew Reynolds found for iterators that affects empty CDList<> objects that allocate from ContextMemoryAllocator<>.  Iterators were broken in that begin() != end() for empty lists (again---only those that allocated space from ContextMemoryAllocator<>).  Added a unit test for this, too.  Thanks Andy!
src/context/cdlist_context_memory.h diff | blob | history
test/unit/context/cdlist_black.h diff | blob | history