Benchmark saving size vs recomputing
mweidner037 opened this issue · comments
mweidner037 commented
In AddWinsCSet and MergingMutCMap. Currently recomputes the size in postLoad().
mweidner037 commented
Doesn't effect asymptotic performance, so not a priority.