in rela/prioritized_replay.h [139:154]
void checkSize(int head, int tail, int size) {
if (size == 0) {
assert(tail == head);
} else if (tail > head) {
if (tail - head != size) {
std::cout << "tail-head: " << tail - head << " vs size: " << size << std::endl;
}
assert(tail - head == size);
} else {
if (tail + capacity - head != size) {
std::cout << "tail-head: " << tail + capacity - head << " vs size: " << size
<< std::endl;
}
assert(tail + capacity - head == size);
}
}