projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5854353) | patch
Fixing CID 1172020: Initializing CDHashMap::iterator::d_it to nullptr. (#1139)
authorTim King <taking@cs.nyu.edu>
Tue, 26 Sep 2017 16:36:52 +0000 (09:36 -0700)
committerAndres Noetzli <andres.noetzli@gmail.com>
Tue, 26 Sep 2017 16:36:52 +0000 (09:36 -0700)
commit4a86f50e8220fabfe0458903ca6608cb99396114
tree43092247c82fbcd75a3ed1378a8f3aeea9f3b27atree
parent5854353603d5a3ce7e3a5914f1b6d29728d24ac2commit | diff
Fixing CID 1172020: Initializing CDHashMap::iterator::d_it to nullptr. (#1139)
src/context/cdhashmap.h diff | blob | history