thanos/gopter-0.2.4/reporter.go

package gopter

// Reporter is a simple interface to report/format the results of a property check.
type Reporter interface {
	// ReportTestResult reports a single property result
	ReportTestResult(propName string, result *TestResult)
}