void VerifyWriter <M, N, T>(int count, M m = default, N n = default, T exemplar = default)
where M : ITypeNat, new()
where N : ITypeNat, new()
where T : unmanaged
{
var isFp = isFloat <T>();
TypeCaseStart <M, N, T>();
for (var i = 0; i < count; i++)
{
var filename = BlockMatrix.DataFileName <M, N, T>();
var dstpath = LogSettings.Get().TestLogPath(filename);
var A = Random.BlockMatrix <M, N, T>();
if (isFp)
{
A.Apply(round);
}
Matrix.WriteTo(A, dstpath);
var srcPath = dstpath;
var B = BlockMatrix.ReadFrom <M, N, T>(srcPath);
if (isFp)
{
B.Apply(round);
}
Claim.yea(A == B);
}
TypeCaseEnd <M, N, T>();
}