Sebastiano Vigna

A similar behavior occurs with id=104122.

Also with 1122038, 132690, 132691, and 573488.

Good idea, and I don't even know why it wasn't there, but, just to check, did you compare it with the actual on-disk size?

I'm trying to understand the discrepancy. Do you think it's because of the RecSplit data structure size (which is not included in builder.getBits())?

One potential problem I see with using builder.getBits() is that you don't get the rounding to the next word. On the other hand, if you are measuring the number of...

> In my experiments, `builder.getBits() - descriptors.getBits()` is usually about 100 bits, so it is a little more than just rounding to the next word. Not sure what exactly is...

I need some time to look at this in detail, and I have a lot of classes now...

Aha! I was wondering how to see the generated docs, indeed.

Well, line added, test completed, but under "Artifacts" I have absolutely nothing. 🤷🏻‍♂️

Ah OK, it finally appeared. I had to be patient. Docs are OK.