projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 51beecb) | patch
Fixed a bug in cdhashmap in which doubly-linked list was not properly cleaned up...
authorClark Barrett <barrett@cs.stanford.edu>
Sat, 12 Nov 2016 17:16:33 +0000 (09:16 -0800)
committerClark Barrett <barrett@cs.stanford.edu>
Sat, 12 Nov 2016 17:19:45 +0000 (09:19 -0800)
commitf5e33cfc8cabd5d66f184471f787a7cb8f8d3c6c
tree6577168d14b98824a6136c72970b2e8f367df497tree
parent51beecbceb28f30004bda32e0babf201bd1f94d6commit | diff
Fixed a bug in cdhashmap in which doubly-linked list was not properly cleaned up on a call to obliterate.

Also, removed some experimental code and a unit test from cdmap_black that used it. This test created a CDList *in* context memory which seems like a very bad idea (and
it was improperly implemented resulting in a memory leak).
src/context/cdhashmap.h diff | blob | history
src/context/cdlist.h diff | blob | history
test/unit/context/cdmap_black.h diff | blob | history