SampleEvidenceReport

class SampleEvidenceReport(val samples: Int, val distinctSamples: Int)

What a binding's QuiltedConformanceSuite.samples list actually offered the laws, measured by checkSampleEvidenceFloor.

Printed on every run, green or red, for the reason the sibling suite prints its vacuity rates: a floor whose value nobody sees is a floor nobody notices drifting toward. The two counts are carried separately because they fail differently and want different fixes — 5 samples, 5 distinct is healthy, 5 samples, 2 distinct is a list carrying three redundant entries, and only the second number is the floor. A binding drifting from the first shape toward the second is visible here long before it becomes fatal.

Parameters

samples

entries the binding returned.

distinctSamples

entries no earlier entry equalled, by ==. See checkSampleEvidenceFloor for why this is counted rather than taken from a Set, and for what == is the right relation.

Constructors

Link copied to clipboard
constructor(samples: Int, distinctSamples: Int)

Properties

Link copied to clipboard
Link copied to clipboard

Functions

Link copied to clipboard
open override fun toString(): String