Closed this issue 12 years ago · 1 comments
Bit counts are wrong on bitset_count(), bitset_linear_count(), and bitset_operation_count(). All counts are reported as 32768 (2^15) so it may be an integer width issue.
bitset_count()
bitset_linear_count()
bitset_operation_count()
Fixed in 3840f07. The problem was a small RAND_MAX
RAND_MAX