public void OnShrink(FSharpList <object> args, FSharpFunc <FSharpList <object>, string> everyShrink)
{
TestTimer.Stop();
RunnerImplementation.OnShrink(args, everyShrink);
numberOfShrinks++;
if (!isDetailedTraces)
{
if (isRunningTests && FsCheckRunnerConfig.TraceNumberOfRuns)
{
isRunningTests = false;
FormattableString.Invariant($"Failed test: {latestNumTests} / {MaxTest}");
}
if (isRunningShrinks && FsCheckRunnerConfig.TraceNumberOfRuns)
{
Trace(
FormattableString.Invariant(
$"Ran shrink: {numberOfShrinks} in {TestTimer.ElapsedMilliseconds:n0}ms"
)
);
}
isRunningShrinks = true;
}
TestTimer.Restart();
}
