public void bitblock32_spans()
{
var x = BitBlock32.Alloc();
x.Bit0 = 1;
x.Bit5 = 1;
x.Bit19 = 1;
var y = BitBlock.AsSpan(ref x);
Claim.eq(y[0], x.Bit0);
Claim.eq(y[5], x.Bit19);
Claim.eq(x[0], (byte)1);
Claim.eq(x[5], (byte)1);
Claim.eq(x[19], (byte)1);
for (var i = 0; i < SampleSize; i++)
{
var src = Random.Span <byte>(Pow2.T05);
var dstBlock = BitBlock32.FromSpan(src);
for (var j = 0; j < src.Length; j++)
{
Claim.eq(src[j], dstBlock[j]);
}
var dstSpan = BitBlock.AsSpan(ref dstBlock);
for (var j = 0; j < dstSpan.Length; j++)
{
Bits.toggle(ref dstSpan[j], 0);
Claim.neq(dstBlock[j], src[j]);
}
}
}
public void bitblock32_pack()
{
for (var i = 0; i < SampleSize; i++)
{
var src = Random.Next <uint>();
var block = BitBlock32.Alloc();
var dst = 0u;
BitParts.part32x1(src, ref block);
BitParts.pack32x1(in block, ref dst);
Claim.eq(dst, src);
}
}
