package b0

  1. Overview
  2. Docs

Module B0_expect.OutcomeSource

Expectation test outcomes.

An outcome counts as one test unit. You may sometimes want to merge multiple outcomes into one.

Sourcetype t

The type for expectation tests outcomes.

Sourcetype status = [
  1. | `Corrected
  2. | `Expected
  3. | `New
  4. | `Unexpected
  5. | `Unknown
]

The type for outcome status

Sourceval status : t -> status

status o is the outcome status of o.

Sourceval merge : t list -> t

merge o merges the outcomes o in a single outcome (for counting).