projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e9e1542) | patch
Replacing allocatedInCMM and d_noTrash with false everywhere in cdhashmap (#2355)
authorTim King <taking@cs.nyu.edu>
Thu, 23 Aug 2018 22:24:47 +0000 (15:24 -0700)
committerAndres Noetzli <andres.noetzli@gmail.com>
Thu, 23 Aug 2018 22:24:47 +0000 (15:24 -0700)
commit860ae582f334bea2835806b0d5044ca1b6e90d76
tree65936b6c514e8cfb7a1991348b0f0cd7ed413290tree
parente9e15423971126408d06c705ac715433671e72cfcommit | diff
Replacing allocatedInCMM and d_noTrash with false everywhere in cdhashmap (#2355)

There do not appear to be any instances these can be positive.
src/context/cdhashmap.h diff | blob | history