ClassificationNotify

[Source]

Receives classification statistics after a property run completes.

Flat counts come from classify/collect/cover; tabulated counts come from tabulate, keyed by heading. The map arguments are read-only and valid only during the callback. Copy any data you need past the callback's return.

interface val ClassificationNotify

Public Functions

classification

[Source]

Called once after all samples run (or after the first failure).

fun box classification(
  label_counts: Map[String val, USize val] box,
  tabulated_counts: Map[String val, Map[String val, USize val]] box,
  num_samples: USize val)
: None val

Parameters

• label_counts: Map[String val, USize val] box
• tabulated_counts: Map[String val, Map[String val, USize val]] box
• num_samples: USize val

Returns

• None val

---