public void bmm_32x32() { for (var i = 0; i < SampleSize; i++) { var m1 = Random.BitMatrix32(); var m2 = m1.Replicate(); var m3 = Random.BitMatrix32(); var m4 = m2 * m3; var m5 = BitRef.bmm(m1, m3); Claim.yea(m4 == m5); } }