ocaml-batteries-team/batteries-included — comment on commit 24552594ca003466b147b8b1ed47465a0759f872
File: src/batInt.ml line 156
By vincent-hugot:

Looks like the fun is not over, though:

Failure: >popcount>src/batInt.ml:175
law src/batInt.ml:175: (Q.int) (fun x -> popcount x = popcount_sparse x) failed for 943778007

as of dfdacb1c8c