Not sure what's monotonic about the allocator, but that's a minor quibble.
The normal tests use a tracking allocator where allocate() increments a counter and deallocate() decrements the same counter.
I used the term "monotonic" here just to imply that in contrast, we never decrement the counter which is what enables us to track whether or not rehash() reallocated or not.
The normal tests use a tracking allocator where allocate() increments a counter and deallocate() decrements the same counter.
I used the term "monotonic" here just to imply that in contrast, we never decrement the counter which is what enables us to track whether or not rehash() reallocated or not.